| Publication | Date of Publication | Type |
|---|
Model-based optimization of vaccination strategies in different phases of pandemic virus spread
Informatics in Control, Automation and Robotics | 2024-03-25 | Paper |
A Study on Model-based Optimization of Vaccination Strategies against Epidemic Virus Spread
Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics | 2023-11-24 | Paper |
Stability Analysis for State Feedback Control Systems Established as Neural Networks with Input Constraints
Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics | 2023-11-24 | Paper |
Learning-based Optimal Control of Constrained Switched Linear Systems using Neural Networks
Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics | 2023-11-24 | Paper |
Hierarchical solution of non-convex optimal control problems with application to autonomous driving
European Journal of Control | 2019-11-14 | Paper |
A Cooperative Distributed MPC Algorithm With Event-Based Communication and Parallel Optimization
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Optimal Control for Hybrid Systems With Partitioned State Space
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Hybrid control of networked embedded systems
European Journal of Control | 2014-08-07 | Paper |
An experimental batch plant as a test case for the verification of hybrid systems
European Journal of Control | 2014-08-07 | Paper |
A globally convergent, locally optimal MIN-\(H\) algorithm for hybrid optimal control
SIAM Journal on Control and Optimization | 2014-07-30 | Paper |
Distributed predictive control of communicating and constrained systems
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 2014-05-12 | Paper |
Distributed and Networked Model Predictive Control
Control Theory of Digitally Networked Dynamic Systems | 2013-11-18 | Paper |
A numerical method for hybrid optimal control based on dynamic programming
Nonlinear Analysis. Hybrid Systems | 2011-06-27 | Paper |
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
Nonlinear Analysis. Hybrid Systems | 2010-08-19 | Paper |
LMI approach to robust model predictive control
Journal of Optimization Theory and Applications | 2006-11-06 | Paper |
Supervisory control of hybrid systems based on model abstraction and guided search
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2006-07-20 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science | 2005-10-19 | Paper |
| scientific article; zbMATH DE number 2085341 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1956581 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1956649 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1956636 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1429792 (Why is no real title available?) | 2000-06-21 | Paper |
| scientific article; zbMATH DE number 1303072 (Why is no real title available?) | 1999-11-08 | Paper |
Verification of logic controllers for continuous plants using timed condition/event-system models
Automatica | 1999-09-02 | Paper |
