Gábor Szederkényi received the M.Eng degree in computer engineering (University of Veszprém, 1998), his PhD in information sciences (University of Veszprém, 2002), and the DSc title in engineering sciences (Hungarian Academy of Sciences, 2013). Currently, he is a full professor at PPKE and the head of the Analysis and Control of Dynamical Systems research group. His main research interest is the computational analysis and control of nonlinear systems with special emphasis on reaction networks and kinetic models. He is the co-author of one book, several book chapters, more than 40 journal papers, and more than 60 conference papers on the theory and applicaton of the analysis and control of nonlinear systems. His education record includes BSc and MSc level courses on linear systems theory, nonlinear control and its application in robotics and in biological systems. The history of the scientific cooperation of the proposed three authors dates back to 2003. Since then, they have published more than 25 joint scientific papers in international journals and conference proceedings mostly related to the topic of the proposed book. The scientific background of the three authors are really complementary: Prof. Katalin Hangos is an internationally known expert in the modelling and control of thermodynamical and (bio)chemical systems, Dr. Attila Magyar has significant experience in the analysis, application and control of quasi-polynomial systems, while Prof. Gábor Szederkényi has results on the optimization-based structural analysis and synthesis of kinetic systems. Moreover, all three authors have had continuous education and supervising experience both on the MSc and PhD levels at different universities. Attila Magyar received his MSc in computer science (University of Pannonia, 2004), his PhD in computer science (University of Pannonia, 2008), respectively. He is working at the Department of Electrical Engineering and Information Systems at University of Pannonia He is the member of the Research Laboratory of Intelligent Control Systems of the Faculty of Information Technology. His main research interests lie in nonlinear control, system identification and robotics. Katalin Hangos received her MSc in chemistry (ELTE TTK, 1976), her BSc in computer science (ELTE TTK, 1980), DSc (1993), and habilitations (chemical engineering, 1994, engineering informatics, 2000), respectively. She is the Research and Education Head of the Department of Electrical Engineering and Information Systems at University of Pannonia and the Head of the Process Control Research Group of the Computer and Automation Research Institute of Hung. Acad. Sci. She is also the Head of the Research Laboratory of Intelligent Control Systems of the Faculty of Information Technology. She is one of the very few female professors in process systems and control, who has a strong interdisciplinary background in systems and control theory and computer science, as well.Her main research interest lies in dynamic modelling of process systems for control and diagnostic purposes. She is a co-author of more than 100 papers on various aspects of modelling and control of process systems with nonlinear, stochastic, Petri net, qualitative and graph theory based models.

• 1. Introduction2. Basic Notions3. Model Transformations and Equivalence Classes4. Model analysis5. Stabilizing feedback control design6. Case studiesAppendixA. Notations and abbreviationsB. Mathematical tools

Gábor Szederkényi received the M.Eng degree in computer engineering (University of Veszprém, 1998), his PhD in information sciences (University of Veszprém, 2002), and the DSc title in engineering sciences (Hungarian Academy of Sciences, 2013). Currently, he is a full professor at PPKE and the head of the Analysis and Control of Dynamical Systems research group. His main research interest is the computational analysis and control of nonlinear systems with special emphasis on reaction networks and kinetic models. He is the co-author of one book, several book chapters, more than 40 journal papers, and more than 60 conference papers on the theory and applicaton of the analysis and control of nonlinear systems. His education record includes BSc and MSc level courses on linear systems theory, nonlinear control and its application in robotics and in biological systems. The history of the scientific cooperation of the proposed three authors dates back to 2003. Since then, they have published more than 25 joint scientific papers in international journals and conference proceedings mostly related to the topic of the proposed book. The scientific background of the three authors are really complementary: Prof. Katalin Hangos is an internationally known expert in the modelling and control of thermodynamical and (bio)chemical systems, Dr. Attila Magyar has significant experience in the analysis, application and control of quasi-polynomial systems, while Prof. Gábor Szederkényi has results on the optimization-based structural analysis and synthesis of kinetic systems. Moreover, all three authors have had continuous education and supervising experience both on the MSc and PhD levels at different universities. Attila Magyar received his MSc in computer science (University of Pannonia, 2004), his PhD in computer science (University of Pannonia, 2008), respectively. He is working at the Department of Electrical Engineering and Information Systems at University of Pannonia He is the member of the Research Laboratory of Intelligent Control Systems of the Faculty of Information Technology. His main research interests lie in nonlinear control, system identification and robotics. Katalin Hangos received her MSc in chemistry (ELTE TTK, 1976), her BSc in computer science (ELTE TTK, 1980), DSc (1993), and habilitations (chemical engineering, 1994, engineering informatics, 2000), respectively. She is the Research and Education Head of the Department of Electrical Engineering and Information Systems at University of Pannonia and the Head of the Process Control Research Group of the Computer and Automation Research Institute of Hung. Acad. Sci. She is also the Head of the Research Laboratory of Intelligent Control Systems of the Faculty of Information Technology. She is one of the very few female professors in process systems and control, who has a strong interdisciplinary background in systems and control theory and computer science, as well.Her main research interest lies in dynamic modelling of process systems for control and diagnostic purposes. She is a co-author of more than 100 papers on various aspects of modelling and control of process systems with nonlinear, stochastic, Petri net, qualitative and graph theory based models.

• 1. Introduction2. Basic Notions3. Model Transformations and Equivalence Classes4. Model analysis5. Stabilizing feedback control design6. Case studiesAppendixA. Notations and abbreviationsB. Mathematical tools

Gábor Szederkényi received the M.Eng degree in computer engineering (University of Veszprém, 1998), his PhD in information sciences (University of Veszprém, 2002), and the DSc title in engineering sciences (Hungarian Academy of Sciences, 2013). Currently, he is a full professor at PPKE and the head of the Analysis and Control of Dynamical Systems research group. His main research interest is the computational analysis and control of nonlinear systems with special emphasis on reaction networks and kinetic models. He is the co-author of one book, several book chapters, more than 40 journal papers, and more than 60 conference papers on the theory and applicaton of the analysis and control of nonlinear systems. His education record includes BSc and MSc level courses on linear systems theory, nonlinear control and its application in robotics and in biological systems. The history of the scientific cooperation of the proposed three authors dates back to 2003. Since then, they have published more than 25 joint scientific papers in international journals and conference proceedings mostly related to the topic of the proposed book. The scientific background of the three authors are really complementary: Prof. Katalin Hangos is an internationally known expert in the modelling and control of thermodynamical and (bio)chemical systems, Dr. Attila Magyar has significant experience in the analysis, application and control of quasi-polynomial systems, while Prof. Gábor Szederkényi has results on the optimization-based structural analysis and synthesis of kinetic systems. Moreover, all three authors have had continuous education and supervising experience both on the MSc and PhD levels at different universities. Attila Magyar received his MSc in computer science (University of Pannonia, 2004), his PhD in computer science (University of Pannonia, 2008), respectively. He is working at the Department of Electrical Engineering and Information Systems at University of Pannonia He is the member of the Research Laboratory of Intelligent Control Systems of the Faculty of Information Technology. His main research interests lie in nonlinear control, system identification and robotics. Katalin Hangos received her MSc in chemistry (ELTE TTK, 1976), her BSc in computer science (ELTE TTK, 1980), DSc (1993), and habilitations (chemical engineering, 1994, engineering informatics, 2000), respectively. She is the Research and Education Head of the Department of Electrical Engineering and Information Systems at University of Pannonia and the Head of the Process Control Research Group of the Computer and Automation Research Institute of Hung. Acad. Sci. She is also the Head of the Research Laboratory of Intelligent Control Systems of the Faculty of Information Technology. She is one of the very few female professors in process systems and control, who has a strong interdisciplinary background in systems and control theory and computer science, as well.Her main research interest lies in dynamic modelling of process systems for control and diagnostic purposes. She is a co-author of more than 100 papers on various aspects of modelling and control of process systems with nonlinear, stochastic, Petri net, qualitative and graph theory based models.

• 1. Introduction2. Basic Notions3. Model Transformations and Equivalence Classes4. Model analysis5. Stabilizing feedback control design6. Case studiesAppendixA. Notations and abbreviationsB. Mathematical tools