Search Results for author:
Found 11 papers, 1 papers with code
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
The results show that both semantics are compatible with cascade composition, while strong semantic is required for feedback composition.
Temporal Logic Resilience for Dynamical Systems
We use finite temporal logic to express the requirements on the acceptable functionality and define the resilience metric as the maximum disturbance under which the system satisfies the temporal requirements.
Symbolic Models for Interconnected Impulsive Systems
Our approach relies on the concept of "alternating simulation function" to establish a relationship between concrete subsystems and their symbolic models.
Safety verification of Neural-Network-based controllers: a set invariance approach
This paper presents a novel approach to ensure the safety of continuous-time linear dynamical systems controlled by a neural network (NN) based state-feedback.
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
This paper considers the problem of controller synthesis of signal temporal logic (STL) specifications for large-scale multi-agent systems, where the agents are dynamically coupled and subject to collaborative tasks.
Characterization, Verification and Computation of Robust Controlled Invariants for Monotone Dynamical Systems
In this paper, we consider the problem of computing robust controlled invariants for discrete-time monotone dynamical systems.
Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems
In addition, we also provide an analysis on the effect of the CBF parameters on the conservatism introduced by our proposed approach in the size and domain of the synthesized controller.
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abstractions.
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
In this paper, we focus on the problem of compositional synthesis of controllers enforcing signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected systems.
Symbolic Abstractions From Data: A PAC Learning Approach
Symbolic control techniques aim to satisfy complex logic specifications.
Learning-based Symbolic Abstractions for Nonlinear Control Systems
Symbolic models or abstractions are known to be powerful tools for the control design of cyber-physical systems (CPSs) with logic specifications.
