ERD

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Abstraction refinement for attractivity controllers using quantitative synthesis

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Compositional Synthesis for Symbolic Control

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Assume-guarantee contracts for continuous-time systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Invariant Sets for Assume-Guarantee Contracts

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Synthesis of Input-to-State Safety and Attractivity Controllers using Nested Sequences of Abstractions

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications*

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Reference Tracking for Linear Time Invariant Systems with a Relay Control *

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Assume-guarantee contracts for discrete and continuous-time systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Formal Controller Synthesis from Hybrid Programs

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Safety control, a quantitative approach

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Stability of discrete-time switched linear systems with ω-regular switching sequences

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Data-Driven Abstraction of Monotone Systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Periodic Reporting for period 4 - PROCSYS (Towards programmable cyber-physical systems: a symbolic control approach)

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Symbolic models for incrementally stable switched systems with aperiodic time sampling

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Optimal multirate sampling in symbolic models for incrementally stable switched systems

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Safety controller design for incrementally stable switched systems using event-based symbolic models

Project: PROCSYS

Updated at: 27-04-2024

Show more information

Project acronym PROCSYS

Resources

Selected filters:

Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

Abstraction refinement for attractivity controllers using quantitative synthesis

Compositional Synthesis for Symbolic Control

Assume-guarantee contracts for continuous-time systems

Invariant Sets for Assume-Guarantee Contracts

Synthesis of Input-to-State Safety and Attractivity Controllers using Nested Sequences of Abstractions

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications*

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

A Quantitative Approach on Assume-Guarantee Contracts for Safety of Interconnected Systems

A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

Controller Synthesis for Nonlinear Systems with Reachability Specifications Using Monotonicity

Reference Tracking for Linear Time Invariant Systems with a Relay Control *

Formal Controller Synthesis from Specifications Given by Discrete-Time Hybrid Automata

Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Assume-guarantee contracts for discrete and continuous-time systems

Formal Controller Synthesis from Hybrid Programs

Safety control, a quantitative approach

Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Lazy Controller Synthesis for Monotone Transition Systems and Directed Safety Specifications

Symbolic Observer-Based Controller for Uncertain Nonlinear Systems

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration

Stability of Shuffled Switched Linear Systems: A Joint Spectral Radius Approach

Stability of discrete-time switched linear systems with ω-regular switching sequences

Data-Driven Abstraction of Monotone Systems

Lazy Safety Controller Synthesis with Multi-Scale Adaptive-Sampling Abstractions of Nonlinear Systems

Periodic Reporting for period 4 - PROCSYS (Towards programmable cyber-physical systems: a symbolic control approach)

Symbolic models for incrementally stable switched systems with aperiodic time sampling

Optimal multirate sampling in symbolic models for incrementally stable switched systems

Safety controller design for incrementally stable switched systems using event-based symbolic models