| Publication | Date of Publication | Type |
|---|
| Verification of hyperproperties for dynamical systems via barrier certificates | 2025-01-21 | Paper |
| Formal synthesis of controllers for uncertain linear systems against regular properties: a set-based approach | 2024-07-21 | Paper |
| Data-driven verification and synthesis of stochastic systems via barrier certificates | 2024-05-14 | Paper |
| Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications | 2024-03-01 | Paper |
| OmegaThreads | 2024-02-21 | Paper |
| Estimating infinitesimal generators of stochastic systems with formal error bounds | 2024-02-21 | Paper |
| Formal safety verification of unknown continuous-time systems | 2024-02-21 | Paper |
| OmegaThreads | 2024-02-21 | Paper |
| k-Inductive Barrier Certificates for Stochastic Systems | 2024-02-21 | Paper |
| Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations | 2024-02-21 | Paper |
| A Framework for Output-Feedback Symbolic Control | 2023-10-09 | Paper |
| Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach | 2023-09-29 | Paper |
| A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems | 2023-09-28 | Paper |
| From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems | 2023-09-24 | Paper |
| From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems | 2023-09-21 | Paper |
| Temporal logic verification of stochastic systems using barrier certificates | 2023-07-28 | Paper |
| A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators | 2023-06-28 | Paper |
| Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach | 2023-06-27 | Paper |
| Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations | 2022-12-09 | Paper |
| Numerical over-approximation of invariance entropy via finite abstractions | 2022-12-02 | Paper |
| Automated verification and synthesis of stochastic hybrid systems: a survey | 2022-11-14 | Paper |
| Compositional construction of control barrier functions for continuous-time stochastic hybrid systems | 2022-09-30 | Paper |
| A small-gain theorem for set stability of infinite networks: distributed observation and ISS for time-varying networks | 2022-09-27 | Paper |
| Compositional construction of abstractions for infinite networks of discrete-time switched 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 | 2022-02-24 | Paper |
| Invariance Feedback Entropy of Uncertain Control Systems | 2022-02-24 | Paper |
| Symbolic models for infinite networks of control systems: a compositional approach | 2022-02-10 | Paper |
| Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems | 2022-02-10 | Paper |
| ISS small-gain criteria for infinite networks with linear gain functions | 2021-12-14 | Paper |
| Verification of approximate opacity for switched systems: a compositional approach | 2021-12-13 | Paper |
| Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations | 2021-12-13 | Paper |
| Compositional synthesis of opacity-preserving finite abstractions for interconnected systems | 2021-11-19 | Paper |
| Data-driven verification of stochastic linear systems with signal temporal logic constraints | 2021-11-19 | Paper |
| Formal Synthesis of Stochastic Systems via Control Barrier Certificates | 2021-07-26 | Paper |
| On Approximate Opacity of Cyber-Physical Systems | 2021-05-28 | Paper |
| Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems | 2021-03-12 | Paper |
| \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems | 2021-02-09 | Paper |
| dtControl | 2021-01-25 | Paper |
| dtControl | 2021-01-25 | Paper |
| AMYTISS | 2021-01-25 | Paper |
| Compositional construction of control barrier functions for interconnected control systems | 2021-01-25 | Paper |
| Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems | 2021-01-21 | Paper |
| Approximate abstractions of control systems with an application to aggregation | 2020-10-22 | Paper |
| From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems | 2020-10-05 | Paper |
| Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach | 2020-05-07 | Paper |
| Sandboxing controllers for stochastic cyber-physical systems | 2020-05-05 | Paper |
| Compositional abstraction-based synthesis for networks of stochastic switched systems | 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 | 2020-02-01 | Paper |
| Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach | 2020-01-28 | Paper |
| Symbolic models for retarded jump-diffusion systems | 2020-01-20 | Paper |
| Compositional construction of infinite abstractions for networks of stochastic control systems | 2019-12-19 | Paper |
| Compositional synthesis of finite abstractions for networks of systems: a small-gain approach | 2019-12-19 | Paper |
| A Lyapunov-based small-gain theorem for infinite networks | 2019-10-28 | Paper |
| pFaces | 2019-10-22 | Paper |
| Verification and synthesis of interconnected embedded control systems under timing contracts | 2019-10-22 | Paper |
| Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach | 2019-03-29 | Paper |
| Symbolic Abstractions of Networked Control Systems | 2019-03-29 | Paper |
| Accurate reachability analysis of uncertain nonlinear systems | 2018-12-06 | Paper |
| Constructing Control System Abstractions from Modular Components | 2018-12-06 | Paper |
| From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes | 2018-12-06 | Paper |
| Compositional Construction of Approximate Abstractions of Interconnected Control 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 | 2018-06-27 | Paper |
| Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization | 2018-02-16 | Paper |
| Towards scalable synthesis of stochastic control systems | 2018-01-31 | Paper |
| Symbolic models for stochastic switched systems: A discretization and a discretization-free approach | 2018-01-12 | Paper |
| Symbolic Models for Nonlinear Control Systems Without Stability Assumptions | 2017-09-08 | Paper |
| Approximations of Stochastic Hybrid Systems: A Compositional Approach | 2017-09-08 | Paper |
| Backstepping Design for Incremental Stability | 2017-08-25 | Paper |
| Invariance Feedback Entropy of Nondeterministic Control Systems | 2017-07-11 | Paper |
| SCOTS | 2017-05-19 | Paper |
| Compositional construction of approximate abstractions | 2017-05-19 | Paper |
| Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions | 2017-05-16 | Paper |
| Bisimilar symbolic models for stochastic control systems without state-space discretization | 2017-05-16 | Paper |
| Compositional abstraction for networks of control systems: A dissipativity approach | 2016-08-04 | Paper |
| Approximately bisimilar symbolic models for randomly switched stochastic systems | 2014-06-13 | Paper |
| Backstepping controller synthesis and characterizations of incremental stability | 2014-03-07 | Paper |
| FOPID controller design for robust performance using particle swarm optimization | 2008-04-03 | Paper |
