The Systems and Control Lab (SCL) is the leading research entity in the field of control and mathematical systems sciences in Hungary. The scope of research involves advanced methods of systems modeling and control, analysis and synthesis of dynamical systems created by traditional and emerging technologies. Systems identification, detection and filtering, signal and image processing are parts of the research with special emphasis on operational robustness, safety and security of the solutions.
Publication date
2015
In: 5th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear, 2015.07.04-2015.07.07, Lyon, France.
Hamiltonian Feedback Design for Mass Action Law Chemical Reaction Networks
In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science (9035) Springer, Berlin; Heidelberg, pp. 643-657.
Saturation-based incremental LTL model checking with inductive proofs