ERD

Compositional synthesis of almost maximally permissible safety controllers

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional abstraction-based synthesis for networks of 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 (In)Finite Abstractions for Large-Scale Interconnected Stochastic 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

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Controller synthesis for interconnected systems using parametric assume-guarantee contracts

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

A Lyapunov-based small-gain theorem for infinite networks

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Verification of Switched Stochastic Systems via Barrier Certificates *

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems

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

Verification and synthesis of interconnected embedded control systems under timing contracts

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Symbolic Models for a Class of Impulsive Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Formal Synthesis of Stochastic Systems via Control Barrier Certificates

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

pFaces - an acceleration ecosystem for symbolic control

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Construction of ISS Lyapunov functions for infinite networks of ISS systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-driven verification of stochastic linear systems with signal temporal logic constraints

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

ARCH-COMP20 Category Report Stochastic Models

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional construction of infinite abstractions for networks of stochastic control systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes *

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

Resources

Selected filters:

Compositional synthesis of almost maximally permissible safety controllers

Compositional abstraction-based synthesis for networks of stochastic switched systems

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

Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems

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

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach

Controller synthesis for interconnected systems using parametric assume-guarantee contracts

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems

A Lyapunov-based small-gain theorem for infinite networks

Verification of Switched Stochastic Systems via Barrier Certificates *

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems

Compositional Verification of Initial-State Opacity for Switched Systems

Verification and synthesis of interconnected embedded control systems under timing contracts

Symbolic Models for a Class of Impulsive Systems

Formal Synthesis of Stochastic Systems via Control Barrier Certificates

pFaces - an acceleration ecosystem for symbolic control

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems

Construction of ISS Lyapunov functions for infinite networks of ISS systems

Data-driven verification of stochastic linear systems with signal temporal logic constraints

Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach

ARCH-COMP20 Category Report Stochastic Models

Compositional construction of infinite abstractions for networks of stochastic control systems

Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes *

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