ERD

Periodic Reporting for period 4 - AutoCPS (Automated Synthesis of Cyber-Physical Systems: A Compositional Approach)

Project: AutoCPS

Updated at: 31-07-2024

Show more information

Project acronym AutoCPS

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations

Project: AutoCPS

Updated at: 31-05-2024

Show more information

Project acronym AutoCPS

Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Safety Verification of Stochastic Systems: A Repetitive Scenario Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

A small-gain approach to ISS of infinite networks with homogeneous gain operators

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional construction of control barrier functions for interconnected control systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Automated verification and synthesis of stochastic hybrid systems: A survey

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Sandboxing Controllers for Stochastic Cyber-Physical Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Verification of Initial-State Opacity for Switched Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Synthesis of stochastic systems with partial information via control barrier functions

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Synthesis of controllers for partially-observable systems: A data-driven approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

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 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 and synthesis of interconnected embedded control systems under timing contracts

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-Driven Verification under Signal Temporal Logic Constraints

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

AMYTISS - 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

Compositional Synthesis of Symbolic Models for Networks of Switched Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-Driven Verification under Signal Temporal Logic Constraints

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Resources

Selected filters:

Periodic Reporting for period 4 - AutoCPS (Automated Synthesis of Cyber-Physical Systems: A Compositional Approach)

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations

Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systems

Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates

Safety Verification of Stochastic Systems: A Repetitive Scenario Approach

A small-gain approach to ISS of infinite networks with homogeneous gain operators

Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems

Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations

Compositional construction of control barrier functions for interconnected control systems

Automated verification and synthesis of stochastic hybrid systems: A survey

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach

Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach

Sandboxing Controllers for Stochastic Cyber-Physical Systems

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions

Compositional Verification of Initial-State Opacity for Switched Systems

Synthesis of stochastic systems with partial information via control barrier functions

Synthesis of controllers for partially-observable systems: A data-driven approach

On Approximate Opacity of Cyber-Physical Systems

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

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

Verification and synthesis of interconnected embedded control systems under timing contracts

Data-Driven Verification under Signal Temporal Logic Constraints

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates

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

Compositional Synthesis of Symbolic Models for Networks of Switched Systems

Data-Driven Verification under Signal Temporal Logic Constraints

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems