| Publication | Date of Publication | Type |
|---|
Reduced-order Gaussian processes for partially unknown nonlinear control systems
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
Closure certificates
Nonlinear Analysis. Hybrid Systems | 2025-12-12 | Paper |
Secure-by-construction synthesis for control systems
IEEE Transactions on Automatic Control | 2025-07-11 | Paper |
On approximate opacity of stochastic control systems
IEEE Transactions on Automatic Control | 2025-07-11 | Paper |
| Closure certificates | 2025-04-25 | Paper |
Verification of hyperproperties for dynamical systems via barrier certificates
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Formal synthesis of controllers for uncertain linear systems against regular properties: a set-based approach
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Data-driven verification and synthesis of stochastic systems via barrier certificates
Automatica | 2024-05-14 | Paper |
Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
Nonlinear Analysis. Hybrid Systems | 2024-03-01 | Paper |
OmegaThreads
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Estimating infinitesimal generators of stochastic systems with formal error bounds
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Formal safety verification of unknown continuous-time systems
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
OmegaThreads
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
k-Inductive Barrier Certificates for Stochastic Systems
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
A Framework for Output-Feedback Symbolic Control
IEEE Transactions on Automatic Control | 2023-10-09 | Paper |
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems
IEEE Transactions on Automatic Control | 2023-09-28 | Paper |
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
IEEE Transactions on Automatic Control | 2023-09-24 | Paper |
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
IEEE Transactions on Automatic Control | 2023-09-21 | Paper |
Temporal logic verification of stochastic systems using barrier certificates
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators
SIAM Journal on Control and Optimization | 2023-06-28 | Paper |
Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach
Systems & Control Letters | 2023-06-27 | Paper |
Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
Automatica | 2022-12-09 | Paper |
Numerical over-approximation of invariance entropy via finite abstractions
Systems & Control Letters | 2022-12-02 | Paper |
Automated verification and synthesis of stochastic hybrid systems: a survey
Automatica | 2022-11-14 | Paper |
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
Automatica | 2022-09-30 | Paper |
A small-gain theorem for set stability of infinite networks: distributed observation and ISS for time-varying networks
European Journal of Control | 2022-09-27 | Paper |
Compositional construction of abstractions for infinite networks of discrete-time switched systems
Nonlinear Analysis. Hybrid Systems | 2022-04-08 | Paper |
| On a notion of entropy for reachability properties | 2022-03-01 | Paper |
A Lyapunov-Based Small-Gain Theorem for Infinite Networks
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Invariance Feedback Entropy of Uncertain Control Systems
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Symbolic models for infinite networks of control systems: a compositional approach
Nonlinear Analysis. Hybrid Systems | 2022-02-10 | Paper |
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems
Nonlinear Analysis. Hybrid Systems | 2022-02-10 | Paper |
ISS small-gain criteria for infinite networks with linear gain functions
Systems & Control Letters | 2021-12-14 | Paper |
Verification of approximate opacity for switched systems: a compositional approach
Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
Automatica | 2021-11-19 | Paper |
Data-driven verification of stochastic linear systems with signal temporal logic constraints
Automatica | 2021-11-19 | Paper |
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
On Approximate Opacity of Cyber-Physical Systems
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
(available as arXiv preprint) | 2021-02-09 | Paper |
dtControl
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
dtControl
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
AMYTISS
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Compositional construction of control barrier functions for interconnected control systems
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
European Journal of Control | 2021-01-21 | Paper |
Approximate abstractions of control systems with an application to aggregation
Automatica | 2020-10-22 | Paper |
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems
IEEE Transactions on Control of Network Systems | 2020-10-05 | Paper |
Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
Sandboxing controllers for stochastic cyber-physical systems
(available as arXiv preprint) | 2020-05-05 | Paper |
Compositional abstraction-based synthesis for networks of stochastic switched systems
Automatica | 2020-04-17 | Paper |
| Small-gain theorem for stability, cooperative control and distributed observation of infinite networks | 2020-02-14 | Paper |
Compositional Construction of Control Barrier Functions for Interconnected Control Systems
(available as arXiv preprint) | 2020-02-01 | Paper |
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
Symbolic models for retarded jump-diffusion systems
Automatica | 2020-01-20 | Paper |
Compositional construction of infinite abstractions for networks of stochastic control systems
Automatica | 2019-12-19 | Paper |
Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
Automatica | 2019-12-19 | Paper |
A Lyapunov-based small-gain theorem for infinite networks
(available as arXiv preprint) | 2019-10-28 | Paper |
pFaces
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Verification and synthesis of interconnected embedded control systems under timing contracts
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Symbolic Abstractions of Networked Control Systems
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Accurate reachability analysis of uncertain nonlinear systems
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Constructing control system abstractions from modular components
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
From dissipativity theory to compositional construction of finite Markov decision processes
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Compositional Construction of Approximate Abstractions of Interconnected Control Systems
IEEE Transactions on Control of Network Systems | 2018-12-04 | Paper |
| Approximate abstractions of control systems with an application to aggregation | 2018-09-10 | Paper |
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Scheduling of controllers' update-rates for residual bandwidth utilization
Lecture Notes in Computer Science | 2018-02-16 | Paper |
Towards scalable synthesis of stochastic control systems
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Automatica | 2018-01-12 | Paper |
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Approximations of Stochastic Hybrid Systems: A Compositional Approach
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Backstepping Design for Incremental Stability
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Invariance feedback entropy of nondeterministic control systems
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
SCOTS: a tool for the synthesis of symbolic controllers
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Compositional construction of approximate abstractions
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Bisimilar symbolic models for stochastic control systems without state-space discretization
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Compositional abstraction for networks of control systems: A dissipativity approach
(available as arXiv preprint) | 2016-08-04 | Paper |
Approximately bisimilar symbolic models for randomly switched stochastic systems
Systems & Control Letters | 2014-06-13 | Paper |
Backstepping controller synthesis and characterizations of incremental stability
Systems & Control Letters | 2014-03-07 | Paper |
| FOPID controller design for robust performance using particle swarm optimization | 2008-04-03 | Paper |
