Publication | Date of Publication | Type |
---|
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 |
Invariance Feedback Entropy of Uncertain Control Systems | 2022-02-24 | Paper |
A Lyapunov-Based Small-Gain Theorem for Infinite Networks | 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 |
Compositional construction of control barrier functions for interconnected control systems | 2021-01-25 | Paper |
dtControl | 2021-01-25 | Paper |
AMYTISS | 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 |
Verification and synthesis of interconnected embedded control systems under timing contracts | 2019-10-22 | Paper |
pFaces | 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 |
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes | 2018-12-06 | Paper |
Accurate reachability analysis of uncertain nonlinear systems | 2018-12-06 | Paper |
Constructing Control System Abstractions from Modular Components | 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 |
Approximations of Stochastic Hybrid Systems: A Compositional Approach | 2017-09-08 | Paper |
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions | 2017-09-08 | Paper |
Backstepping Design for Incremental Stability | 2017-08-25 | Paper |
Invariance Feedback Entropy of Nondeterministic Control Systems | 2017-07-11 | Paper |
Compositional construction of approximate abstractions | 2017-05-19 | Paper |
SCOTS | 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 |
https://portal.mardi4nfdi.de/entity/Q5454966 | 2008-04-03 | Paper |