ERD

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

ISS small-gain criteria for infinite networks with linear gain functions

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Secure-by-construction controller synthesis via control barrier functions

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

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

Verification of approximate opacity for switched systems: A compositional approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach

Project: AutoCPS

Updated at: 27-04-2024

Show more information

Project acronym AutoCPS

Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning

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

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

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear 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

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs

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

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

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems

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

Compositional synthesis of symbolic models for infinite networks

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

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

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

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

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 abstraction of large-scale stochastic systems: A relaxed dissipativity approach

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

Resources

Selected filters:

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts

ISS small-gain criteria for infinite networks with linear gain functions

Secure-by-construction controller synthesis via control barrier functions

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

dtControl - decision tree learning algorithms for controller representation

A Framework for Output-Feedback Symbolic Control

Compositional Construction of Abstractions for Infinite Networks of Switched Systems

Verification of approximate opacity for switched systems: A compositional approach

Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach

Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning

Verification of approximate opacity via barrier certificates

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

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

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

Compositional finite abstractions for large-scale stochastic switched systems

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions

Compositional Abstractions of Interconnected Discrete-Time Switched Systems

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

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems

OmegaThreads: Symbolic Control from ω-regular Specifications

Compositional synthesis of symbolic models for infinite networks

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

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

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

Symbolic models for retarded jump–diffusion systems

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

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

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

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