Andrey Popov - personal web page
Because of many restrictions and difficulties caused by the free web-hosting of Geocities I have decided to close this mirror of my website.
Please use one of the other mirrors listed below.
If your access to this page is slow try one of the mirror sites:
Mirror 1 (BG) / Mirror 2 (GER)
Версия на български език (Bulgarian language version) 
CONTACT | PUBLICATIONS | PROGRAMS | LINKS
GENETIC ALGORITHMS | BOOLEAN FUNCTION MINIMIZATION
CONTACT
Please feel free to contact me if you have questions, recommendations, you have found errors, etc.
I would be also glad to receive information, concerning the applications you found for my programs, your opinion of the programs and reflection of the overall process of using them. This information is useful for me, so I could improve the programs and make them better for you and for the others.
andrey.popov@gmx.net 
to top
PUBLICATIONS & DOCUMENTS
All of the following documents, published in IEEE journal or conference proceedings are subject to the following copyrights
"©20xx IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE."
You need JavaScript enabled browser for better view
Author | Title | Year | Journal/Proceedings | DOI/PDF |
Popov, A. |
minBool manual - Minimization of Boolean function by the Quine-McCluskey method [BibTeX] |
2007 |
|
PDF 133 kB |
BibTeX:
@manual{Popov07a,
author = {Andrey Popov},
title = {minBool manual - Minimization of Boolean function by the Quine-McCluskey method},
year = {2007},
url = {http://www.automatics.hit.bg/}
}
|
Popov, A. & Werner, H. |
Efficient Design of Low-Order H∞ Optimal Controllers Using Evolutionary Algorithms and a Bisection Approach [Abstract] [BibTeX] |
2006 |
Intelligent Control, 2006 IEEE International Symposium on |
DOI paper 160kB presentation 1.3 MB |
Abstract: This paper considers a hybrid evolutionary-algebraic approach to the non-convex problem of designing low-order $H_infty$ optimal controllers. It is shown that using the closed-loop $H_infty$ norm as fitness measure in a population-based, evolutionary search does not require the computation of the $H_infty$ norm for each controller of the population. Instead, the fact that evolutionary algorithms assign fitness measures to individuals based on a ranking is exploited and a bisection approach is proposed that allows to trade accuracy that is not needed against computational efficiency without loosing information. Three design examples are used to illustrate the improvement in computational speed achieved with the proposed method. |
BibTeX:
@inproceedings{PopovWerner06,
author = {Andrey Popov and Herbert Werner},
title = {Efficient Design of Low-Order $H_infty$ Optimal Controllers Using Evolutionary Algorithms and a Bisection Approach},
booktitle = {Intelligent Control, 2006 IEEE International Symposium on},
year = {2006},
pages = {760--765},
doi = {http://dx.doi.org/10.1109/CACSD.2006.285473}
}
|
Popov, A. |
Hybrid Evolutionary-Algebraic Techniques for Controller Design - Algorithms and MATLAB tools [BibTeX] |
2006 |
School: Hamburg University of Technology, Institute of Control Systems |
|
BibTeX:
@mastersthesis{Popov06,
author = {Andrey Popov},
title = {Hybrid Evolutionary-Algebraic Techniques for Controller Design - Algorithms and MATLAB tools},
school = {Hamburg University of Technology, Institute of Control Systems},
year = {2006}
}
|
Popov, A., Farag, A. & Werner, H. |
Tuning of a PID controller Using a Multi-objective Optimization Technique Applied to A Neutralization Plant [Abstract] [BibTeX] |
2005 |
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on |
paper 438 kB presentation 1.7 MB |
Abstract: Most control engineering problems are characterized by several, often contradicting, objectives, which have to be satisfied simultaneously. Two widely used methods for finding the optimal solution to such problems are aggregating to a single criterion, and using Pareto-optimal solutions. Here we propose a Genetic Algorithm (GA) approach using a combination of both methods to find a fixed-gain, discrete-time PID controller for a chemical neutralization plant. Known to be highly non-linear and with varying time delay, this plant provides a challenging testbed for nonlinear control strategies. Experimental results confirm that a multi-objective, Pareto-based GA search gives a better performance than a single objective GA. The former method was also used to design a gain-scheduled PID controller, for which also experimental results are shown. |
BibTeX:
@inproceedings{PopovFaragWerner05,
author = {Andrey Popov and Adel Farag and Herbert Werner},
title = {Tuning of a PID controller Using a Multi-objective Optimization Technique Applied to A Neutralization Plant},
booktitle = {Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on},
year = {2005},
pages = {7139--7143},
}
|
Popov, A. |
Genetic Algorithms for Optimization", User Manual for the GAmin toolbox for Genetic Algorithms Optimization for MATLAB [BibTeX] |
2005 |
School: Технически Университет - София, факултет "Автоматика", катедра "Системи и Управление" |
PDF 810 kB |
BibTeX:
@manual{Popov05a,
author = {Andrey Popov},
title = {Genetic Algorithms for Optimization", User Manual for the GAmin toolbox for Genetic Algorithms Optimization for MATLAB},
url = {http://www.automatics.hit.bg},
year = {2005},
}
|
Popov, A. |
Less Conservative Mixed H2/H∞ Controller Design Using Multi-objective Optimization [BibTeX] |
2005 |
|
|
BibTeX:
@techreport{Popov05,
author = {Andrey Popov},
title = {Less Conservative Mixed $H_2/H_\infty$ Controller Design Using Multi-objective Optimization},
year = {2005},
number = {2005.15}
}
|
Popov, A. & Filipova, K. |
Genetic algorithms - synthesis of finite state machines [Abstract] [BibTeX] |
2004 |
Electronics Technology: Meeting the Challenges of Electronics Technology Progress, 2004. 27th International Spring Seminar on |
published, 660 kB updated, 175 kB |
Abstract: Genetic algorithms (GAs) are a stochastic, non-derivative optimization method. They use populations of acceptable solutions (genes) of the given problem, which evolve toward optimum. The paper introduces GAs as a method for the synthesis of the activation function of flip-flops in finite state machines. The genes in standard GAs are Boolean vectors. When JK and RS flip-flops are used in the synthesis of finite state machines, there are undefined variables in the activation signals. When the finite state machine is of high order, the Quine-McClusky method is used, which requires exact values of the variables. At this stage, the GAs are used to find the optimal set of variables, in terms of simplifying the description. |
BibTeX:
@inproceedings{PopovFilipova04,
author = {Andrey Popov and Krasimira Filipova},
title = {Genetic algorithms - synthesis of finite state machines},
booktitle = {Electronics Technology: Meeting the Challenges of Electronics Technology Progress, 2004. 27th International Spring Seminar on},
year = {2004},
volume = {3},
pages = {388--392},
}
|
Donchev, B., Philipova, K. & Popov, A. |
Design of CAN controller by Petri nets technique [BibTeX] |
2003 |
Electronics |
|
BibTeX:
@article{DonchevPhilipovaPopov03,
author = {Blagomir Donchev and Krasimira Philipova and Andrey Popov},
title = {Design of CAN controller by Petri nets technique},
journal = {Electronics},
year = {2003},
volume = {7},
number = {4},
pages = {119--123},
note = {YU ISSN 1450-5843, Republic of Srpska, Bosnia and Herzegovina}
}
|
Попов, А. |
Генетични алгоритми за оптимизация - ръководство на потребителя за GAmin toolbox за MATLAB [BibTeX] |
2003 |
School: Технически Университет - София, факултет "Автоматика", катедра "Системи и Управление" |
PDF 427 kB |
BibTeX:
@manual{Popov03a,
author = {Андрей Попов},
title = {Генетични алгоритми за оптимизация - ръководство на потребителя за GAmin toolbox за MATLAB},
school = {Технически Университет - София, факултет "Автоматика", катедра "Системи и Управление"},
url = {http://www.automatics.hit.bg},
year = {2003},
@manual{Popov03a,
author = {Andrey Popov},
title = {Genetic Algorithms for Optimization - User Manual for the GAmin toolbox for Genetic Algorithms Optimization for MATLAB},
school = {Technical University - Sofia, faculty "Automatics", department "Systems and Control"},
url = {http://www.automatics.hit.bg},
year = {2003},
}
|
Попов, А. |
Генетични алгоритми за оптимизация - приложение в задачата за синтез на регулатор [BibTeX] |
2003 |
School: Технически Университет - София, факултет "Автоматика", катедра "Системи и Управление" |
PDF 1 MB |
BibTeX:
@mastersthesis{Popov03,
author = {Андрей Попов},
title = {Генетични алгоритми за оптимизация - приложение в задачата за синтез на регулатор},
school = {Технически Университет - София, факултет "Автоматика", катедра "Системи и Управление"},
year = {2003},
}
@mastersthesis{Popov03,
author = {Andrey Popov},
title = {Genetic Algorithms for Optimization - Application in the regulator synthesis task},
school = {Technical University - Sofia, faculty "Automatics", department "Systems and Control"},
year = {2003},
}
|
Mihailov, S., Popov, A., Filipova, K. & Kasev, N. |
Comparative Analysis of Boolean Function's Minimization in Terms of Simplifying the Synthesis [Abstract] [BibTeX] |
2002 |
Mechanical and Electrical Engineering and Technologies, MARIND, First International Congress of |
PDF 109 kB |
Abstract: The last stage in the design of intelligent systems is the minimization of its functional description. This paper compares two of the well known methods for minimization of Boolean functions and proposes software solution, based on them. The comparison analysis continues with the synthesis stage, which is done in the MATLAB software environment and uses different building blocks |
BibTeX:
@inproceedings{MihailovPopovFilipovaKasev02,
author = {Stefan Mihailov and Andrey Popov and Krasimira Filipova and Nikolai Kasev},
title = {Comparative Analysis of Boolean Function's Minimization in Terms of Simplifying the Synthesis},
booktitle = {Mechanical and Electrical Engineering and Technologies, MARIND, First International Congress of},
year = {2002},
pages = {273--276},
note = {ISBN 954-20-0215-7},
}
|
Created with JabRef
to top
PROGRAMS
All programs and documents are free to use
(out of charge) for personal and academical purposes.
The programs and documents could not be used for commercial purpose
without additionally granted permission;
When used for academic work, the source and the author
should be given as reference (standard citation for papers; web-page
http://automatics.hit.bg stated for on-line materials).
NO WARRANTY - there is no warranty for the programs. The programs
are provided "AS IS" without warranty of any kind. The entire risk as to the quality
and performance of the program is with you. Should a program
prove defective, You assume the cost of all necessary servicing, repair or correction.
Genetic Algorithms for Optimization - GAmin - toolbox for MATLAB
(The differences between Genetic Algorithms and Evolutionary Algorithms are mainly on historical base. Nowadays the two terms are mainly used as interchangable ones)
This Single- and Multiobjective Genetic Algorithm toolbox for MATLAB was developed as part from my Bachelors Thesis. Since then I'm able to work on it only in my free time. If you find bugs or you have recommendations they are welcomed. Any other kind of contribution (additional functions, modules, etc.) will be appreciated as well.
The Genetic Algorithm toolbox - GAmin is free for academic and personal usage. To download the MATLAB M files and the documentation, please use the links below. The programs ware created for MATLAB ver. 6.
The advantages of the Genetic Algorithm Optimization toolbox GAmin are:
- Single objective optimization (functions GAminBC and GAminSC);
- Multiobjective Optimization (GAMOminBC and GAMOminSC functions). This optimization is Pareto based.
- Ability to perform blending (intermediate) and scattered (conventional) crossover (marked correspondingly as BC and SC;
- Ability to encode floating point, integer and/or Boolean variables. The toolbox allows the genes to be a combination of the above. In case of floating point one can also define the precision of each variable;
- Intermediate results and visualization as well as final plots and display, at the end of the optimization run;
- User defined search space (boundaries for the variables);
- By using the MATLAB environment, the toolbox allows combination with the large variety of other toolboxes offered by MATLAB, SIMULINK and third parties;
- Easy to write additional functions or exchange existing ones;
- Detailed user manual as well as help to each function;
- 10 predefined optimization options. Possibility to easy define and save new options;
- Free of charge;
More detailed information about Genetic Algorithms and the GAmin functions that could be downloaded from here could be found in the user manuals:
Manual in English (PDF, 810 kB); Manual in Bulgarian (PDF, 427 kB)
(N.B. user manuals are designed with font 13, thus they can be printed in 2 pages per sheet, double sided and than folded as a book)
The following functions are available for download:
- Advanced - Each function used in the genetic algorithms is in a separate file. This way it is easier for "Advanced" users to modify the functions and thus affect all of the genetic algorithms. (ZIP, 32 kB)
- Basic - The functions for each of the 4 genetic algorithms are included inside the file with the algorithm and thus make it easier and faster to use. (ZIP, 34 kB)
- Compiled - The genetic algorithm functions are compiled to DLL files. This speeds the execution of the genetic optimization.
- Demo - Demonstration of the programs (you need to have some of the packages above to run it). (ZIP, 3 kB)
- Examples - Functions and Programs used in the User Manual and Thesis work. (ZIP, 12 kB)
to top
Boolean Function Minimization - minBool - Programs for MATLAB
The programs here perform minimization of Boolean functions, using the Quine-McCluskey method. The programs are free to use for academic and personal purposes.
Help about the usage of the functions can be obtained by the MATLAB command:
>> help minBool
As reference for the application of those programs could be used the paper: "Comparative Analysis of Boolean Function’s Minimization in Terms of Simplifying the Synthesis" - paper (PDF, 109 kB). In this paper Karnaugh and Quine-McCluskey methods are compared, based on few examples. Conclusions and proposals for Boolean functions minimization aregiven. There are some additional comments in the PDF file, available only on screen view.
- minBool
- ver. 1.3 - MATLAB ver. 6 and newer - English language (ZIP, 3 kB)
- ver. 1.2 - MATLAB ver. 6 - English language (ZIP, 2 kB)
- ver. 1.2 - MATLAB ver. 4 - English language (ZIP, 4 kB)
- ver. 1.2 - MATLAB ver. 4 - Bulgarian language (ZIP, 5 kB)
- num2bool, bool2num - ver. 1 - MATLAB ver. 6 and newer (ZIP, 1 kB)
The (demo) functions, used in the paper "Genetic Algorithms - synthesis of finite state machines" can be downloaded from the following link: (ZIP, 18 kB). Please note that the version of minBool and the used Genetic Algorithm might not be the newest available.
Short manual to both minBool and its application for synthesis of finite state machines is also available (PDF, 133 kB).
to top
LINKS
Here are links to some programs and information sources I found useful:
- On-line materials: A very good source of research materilas is CiteSeer
http://citeseer.ist.psu.edu/
- Switch-Off: sometimes the Genetic Algorithm optimizations could be computationaly very extensive and last for several hours. In those cases I found a good idea to start a computation and set the computer to shut down automaticaly after several hours (enought to finish the computation). Don't forget to save your results!
Search for "Switch Off" here
- BOINC: A GA run is a high demanding task, but there are even more dificult ones. The Berkeley Open Infrastructure for Network Computing offers (realtively) easy to use software, which distributes high demand computations between volunteer users in Internet. Just set you computer to run BOINC whеn idle and support projects like weather prediciton, search for extraterestial inteligence, understanding the strucutre of proteins and more.
http://boinc.berkeley.edu/
- Editor for LaTeX: Creating LaTeX documents can be done with any text editor, but the specialized LaTeX editors ease the process a lot. Maybe the best one I have come so far is LEd, which includes preview of the DVI file, hints for the LaTeX functinos and autocompletion, to name a few.
http://www.latexeditor.org/
- BiBTeX: While working on your thesis work, article or book you will probаbly need to cite many references. Good way to keep track of them when working with LaTeX is by using BiBTeX. JabRef is a great tool, helping you keep track and organize the references.
http://jabref.sourceforge.net/
- Presentations with LaTeX: Many scientists use LaTeX as a ducument typesetting software, because of the good quality of output PDF files, relative easiness to write complicated formulas and of course - freeware. Preparing a presentation with LaTeX can significanlty reduce the preparation time (no need to rewrite formulas, equations, etc.). A Detailed list of different LaTeX packages for presentations is available at the link below. For me powerdot offers most of what I need and use.
http://www.miwie.org/presentations/presentations.html
- LaTeX in Bulgarian language: Even before I added this entry to my website many people were ending here, while searching for a way to write LaTeX documents in bulgarian language. So I decided that I could at least offer some help. The following file bgtex.txt contains the packages that work for me. As a first step make sure you can comile the file. If you use MikTeX it should offer to download any missing package. More information about LaTeX in general and bulgarian language can be found at
http://www.ctan.org/tex-archive/info/lshort/bulgarian/
- pdfConvertor: A good and high quality way to produce quality PDF files is using LaTeX. However, when one has already documents in other formats a fast and easy way to convert them to PDF is using using pdfConvertor
http://www.sourceforge.net/projects/pdfconvertor/
- OpenOffice: If you are unsatisfied with MS Office or just want a freeware product for your personal needs a program to be tried is Open Office. The Writer and Calc tools offer similar functionality as the MS Office programs, but to my experience are better in the fine adjustments of the page layout. The presentation tool lacks only some of the animation possibilities of PowerPoint.
http://www.openoffice.org/
to top
Last update: 29.05.2007
|