ERD

On Approximate Opacity of Cyber-Physical Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

A Framework for Output-Feedback Symbolic Control

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Construction of Abstractions for Infinite Networks of Switched Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Verification of approximate opacity for switched systems: A compositional approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

dtControl - decision tree learning algorithms for controller representation

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Verification and synthesis of interconnected embedded control systems under timing contracts

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional construction of control barrier functions for continuous-time stochastic hybrid systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Symbolic models for retarded jump–diffusion systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional synthesis of almost maximally permissible safety controllers

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

OmegaThreads: Symbolic Control from ω-regular Specifications

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

a parallelized tool on automated controller synthesis for large-scale stochastic systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

A spectral small-gain condition for input-to-state stability of infinite networks

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Verification of approximate opacity via barrier certificates

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional finite abstractions for large-scale stochastic switched systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Construction of continuous abstractions for discrete-time time-delay systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Abstractions of Interconnected Discrete-Time Switched Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Construction of continuous abstractions for discrete-time time-delay systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Resources