| Publication | Date of Publication | Type |
|---|
On the design and the digital implementation of observer-based controllers for tracking of nonlinear time-delay systems
International Journal of Robust and Nonlinear Control | 2024-06-23 | Paper |
On the robustification of digital event-based stabilizers for nonlinear time-delay systems
Nonlinear Analysis. Hybrid Systems | 2024-06-07 | Paper |
On the digital event-based control for nonlinear time-delay systems with exogenous disturbances
Automatica | 2024-05-30 | Paper |
Approximate current state observability of discrete-time nonlinear systems under cyber-attacks
Nonlinear Analysis. Hybrid Systems | 2023-09-21 | Paper |
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
Automatica | 2021-11-19 | Paper |
Data-driven controller synthesis for abstract systems with regular language specifications
Automatica | 2021-11-19 | Paper |
Approximate predictability of pseudo-metric systems
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
Symbolic control design of nonlinear systems with outputs
Automatica | 2019-12-19 | Paper |
On approximate diagnosability of metric systems
Software Engineering and Formal Methods | 2019-09-16 | Paper |
Design of Symbolic Controllers for Networked Control Systems
IEEE Transactions on Automatic Control | 2019-03-28 | Paper |
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
Decentralized Supervisory Control of Networks of Nonlinear Control Systems
IEEE Transactions on Automatic Control | 2018-09-18 | Paper |
| scientific article; zbMATH DE number 6936862 (Why is no real title available?) | 2018-09-14 | Paper |
Design of decentralized critical observers for networks of finite state machines: a formal method approach
Automatica | 2017-11-17 | Paper |
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Integrated Design of Symbolic Controllers for Nonlinear Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
A symbolic approach to the design of nonlinear networked control systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Symbolic Models for Networks of Control Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
| On Approximate Diagnosability of Nonlinear Systems | 2017-04-07 | Paper |
| Equivalence Notions for Discrete-Time Stochastic Linear Control Systems | 2016-11-25 | Paper |
Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
International Journal of Robust and Nonlinear Control | 2016-01-22 | Paper |
| Compositional Symbolic Models for Networks of Incrementally Stable Control Systems | 2014-03-31 | Paper |
Symbolic models for nonlinear control systems affected by disturbances
International Journal of Control | 2012-12-27 | Paper |
Stabilizability of linear switching systems
Nonlinear Analysis. Hybrid Systems | 2011-05-17 | Paper |
A complexity reduction approach to detectability of switching systems
International Journal of Control | 2010-11-19 | Paper |
Symbolic models for nonlinear time-delay systems using approximate bisimulations
Systems & Control Letters | 2010-10-07 | Paper |
| Integrated symbolic control design for nonlinear systems with infinite states specifications | 2010-06-14 | Paper |
Symbolic models for nonlinear control systems: alternating approximate bisimulations
SIAM Journal on Control and Optimization | 2010-04-28 | Paper |
A structural approach to detectability for a class of hybrid systems
Automatica | 2009-06-10 | Paper |
Approximately bisimilar symbolic models for nonlinear control systems
Automatica | 2009-03-02 | Paper |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Equivalence of switching linear systems by bisimulation
International Journal of Control | 2007-09-03 | Paper |
| Positive switching systems | 2007-05-09 | Paper |
| Critical observability of a class of hybrid systems and application to air traffic management | 2007-05-03 | Paper |
Digital idle speed control of automotive engines: a safety problem for hybrid systems
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2006-10-05 | Paper |
