| Publication | Date of Publication | Type |
|---|
Decentralized optimization resilient against local data poisoning attacks
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Controlled invariant sets: implicit closed-form representations and applications
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
Correction to: ``Universal approximation power of deep residual neural networks through the lens of control
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
Learning to control known feedback linearizable systems from demonstrations
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Decentralized Secure State-Tracking in Multi-Agent Systems
IEEE Transactions on Automatic Control | 2023-10-02 | Paper |
Universal Approximation Power of Deep Residual Neural Networks Through the Lens of Control
IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
From LTL to rLTL monitoring: improved monitorability through robust semantics
Formal Methods in System Design | 2023-06-29 | Paper |
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
On the computational complexity of the secure state-reconstruction problem
Automatica | 2022-01-03 | Paper |
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Distortion-Based Lightweight Security for Cyber-Physical Systems
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Symmetries and Isomorphisms for Privacy in Control Over the Cloud
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
From LTL to rLTL monitoring
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
A simple hierarchy for computing controlled invariant sets
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Distortion based Light-weight Security for Cyber-Physical Systems
(available as arXiv preprint) | 2020-06-25 | Paper |
Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
Securing state reconstruction under sensor and actuator attacks: theory and design
Automatica | 2020-04-14 | Paper |
Securing state reconstruction under sensor and actuator attacks: theory and design
Automatica | 2020-04-14 | Paper |
Supervisory control of discrete-event systems under attacks
Dynamic Games and Applications | 2020-02-03 | Paper |
Data driven stability analysis of black-box switched linear systems
Automatica | 2019-12-19 | Paper |
Evrostos
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Symmetries and isomorphisms for privacy in control over the cloud
(available as arXiv preprint) | 2019-06-18 | Paper |
| Non-local Linearization of Nonlinear Differential Equations via Polyflows | 2019-02-12 | Paper |
Periodic event-triggered control of nonlinear systems using overapproximation techniques
Automatica | 2018-10-17 | Paper |
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption
(available as arXiv preprint) | 2018-09-06 | Paper |
Mode-Target Games: Reactive Synthesis for Control Applications
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
| Computing controlled invariant sets for hybrid systems with applications to model-predictive control | 2018-02-13 | Paper |
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
IEEE Transactions on Automatic Control | 2017-11-10 | Paper |
First steps toward formal controller synthesis for bipedal robots with experimental implementation
Nonlinear Analysis. Hybrid Systems | 2017-10-04 | Paper |
Computing Robust Controlled Invariant Sets of Linear Systems
IEEE Transactions on Automatic Control | 2017-09-21 | Paper |
Compositional Transient Stability Analysis of Multimachine Power Networks
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Secure State Estimation Against Sensor Attacks in the Presence of Noise
IEEE Transactions on Control of Network Systems | 2017-09-21 | Paper |
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Exploiting Isochrony in Self-Triggered Control
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Backstepping Design for Incremental Stability
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
An Approximate Simulation Approach to Symbolic Control
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Linear Time Logic Control of Discrete-Time Linear Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Symbolic Control of Linear Systems Based on Symbolic Subsystems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Robust linear temporal logic
(available as arXiv preprint) | 2017-07-19 | Paper |
SMC: satisfiability modulo convex optimization
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
From nonlinear to hamiltonian via feedback
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
First steps toward formal controller synthesis for bipedal robots
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
A Framework for the Event-Triggered Stabilization of Nonlinear Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Robust discrete synthesis against unspecified disturbances
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Abstracting and refining robustness for cyber-physical systems
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Towards Robustness for Cyber-Physical Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Event-Triggered State Observers for Sparse Sensor Noise/Attacks
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
A Notion of Robustness for Cyber-Physical Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Towards Kron reduction of generalized electrical networks
Automatica | 2014-11-19 | Paper |
Self-triggered linear quadratic control
Automatica | 2014-10-17 | Paper |
Minimum attention control for linear systems
Discrete Event Dynamic Systems | 2014-10-10 | Paper |
Bisimulation relations for dynamical and control systems
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
| A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems | 2011-08-28 | Paper |
Symbolic approximate time-optimal control
Systems & Control Letters | 2011-05-06 | Paper |
An ISS self-triggered implementation of linear controllers
Automatica | 2010-11-25 | Paper |
Symbolic models for nonlinear time-delay systems using approximate bisimulations
Systems & Control Letters | 2010-10-07 | Paper |
Symbolic models for nonlinear control systems: alternating approximate bisimulations
SIAM Journal on Control and Optimization | 2010-04-28 | Paper |
| Verification and Control of Hybrid Systems | 2009-05-27 | Paper |
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
On Simulations and Bisimulations of General Flow Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Approximately bisimilar symbolic models for nonlinear control systems
Automatica | 2009-03-02 | Paper |
Controller synthesis for bisimulation equivalence
Systems & Control Letters | 2009-01-27 | Paper |
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
Approximate reduction of dynamic systems
Systems & Control Letters | 2008-07-10 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Symbolic models for control systems
Acta Informatica | 2007-03-05 | Paper |
Local factorization of trajectory lifting morphisms for single-input affine control systems
Systems & Control Letters | 2006-10-27 | Paper |
Bisimilar control affine systems
Systems & Control Letters | 2006-09-21 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science | 2005-09-22 | Paper |
Quotients of Fully Nonlinear Control Systems
SIAM Journal on Control and Optimization | 2005-09-15 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Hierarchical trajectory refinement for a class of nonlinear systems
Automatica | 2005-05-12 | Paper |
Abstractions of Hamiltonian control systems.
Automatica | 2004-01-26 | Paper |
| scientific article; zbMATH DE number 1956650 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1794388 (Why is no real title available?) | 2002-09-03 | Paper |
