Author of the publication

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design.

, , , and . ACM Trans. Embed. Comput. Syst., 22 (1): 13:1-13:44 (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Medium Term Production Scheduling of a Hydro-thermal System under Uncertainty using Nested Benders Decomposition (Produktionsplanung eines hydro-thermischen Kraftwerkssystems unter Unsicherheit für mittlere Planungshorizonte unter Anwendung der Nested Benders Decomposition)., , and . Automatisierungstechnik, 56 (4): 189-196 (2008)An efficient algorithm for optimal control of PWA systems with polyhedral performance indices., , , and . Autom., 44 (1): 296-301 (2008)Low-order SISO controller tuning methods for the H2, H∞ and μ objective functions., and . Autom., 26 (2): 361-369 (1990)Nonlinear offset-free model predictive control., and . Autom., 48 (9): 2059-2067 (2012)A clustering technique for the identification of piecewise affine systems., , , and . Autom., 39 (2): 205-217 (2003)Enumeration-based approach to solving parametric linear complementarity problems., , , and . Autom., (2015)Offset-free reference tracking with model predictive control., and . Autom., 46 (9): 1469-1476 (2010)Soft Constrained Model Predictive Control With Robust Stability Guarantees., , and . IEEE Trans. Automat. Contr., 59 (5): 1190-1202 (2014)A Multiresolution Approximation Method for Fast Explicit Model Predictive Control., , , and . IEEE Trans. Automat. Contr., 56 (11): 2530-2541 (2011)Multiparametric Linear Programming with Applications to Control., , and . Eur. J. Control, 13 (2-3): 152-170 (2007)