15 citations · 61 across the 32 of their papers we have counts for
16 papers · 1 filter
Context-Triggered Robust MPC for Temporal Logic Specifications
Arash Bahari Kordabad, Satya Prakash Nayak, Sadegh Soudjani +1
We consider the problem of synthesizing robust feedback controllers for discrete-time linear systems that ensure the satisfaction of context-dependent linear temporal logic specifi…
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck +2
We study the automated abstraction-based synthesis of correct-by-construction control policies for stochastic dynamical systems with unknown dynamics. Our approach is to learn an a…
Context-triggered Abstraction-based Control Design
Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa +2
We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that the closed-loop fulfills an arbitrary \emph{Linear Tem…
Abstraction-Based Output-Feedback Control with State-Based Specifications
Anne-Kathrin Schmuck, Mehrdad Zareian
We consider abstraction-based design of output-feedback controllers for non-linear dynamical systems against specifications over state-based predicates in linear-time temporal logi…
Symbolic Control for Stochastic Systems via Finite Parity Games
Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the problem of computing the maximal probability of satisfying an omega-regular specification for stochastic nonlinear systems evolving in discrete time. The problem re…
Resilient Abstraction-Based Controller Design
Stanly Samuel, Kaushik Mallik, Anne-Kathrin Schmuck +1
We consider the computation of resilient controllers for perturbed non-linear dynamical systems w.r.t. linear-time temporal logic specifications. We address this problem through th…
On Abstraction-Based Controller Design With Output Feedback
Rupak Majumdar, Necmiye Ozay, Anne-Kathrin Schmuck
We consider abstraction-based design of output-feedback controllers for dynamical systems with a finite set of inputs and outputs against specifications in linear-time temporal log…
Lazy Abstraction-Based Controller Synthesis
Kyle Hsu, Rupak Majumdar, Kaushik Mallik +1
We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-…
Lazy Abstraction-Based Control for Safety Specifications
Kyle Hsu, Rupak Majumdar, Kaushik Mallik +1
We present a lazy version of multi-layered abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against safety specifications. State-of-the…
Compositional Construction of Finite State Abstractions for Stochastic Control Systems
Kaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck +1
Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system. Constructing t…
Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani +1
Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system model. Construc…
Dynamic Hierarchical Reactive Controller Synthesis
Anne-Kathrin Schmuck, Rupak Majumdar
In the formal approach to reactive controller synthesis, a symbolic controller for a possibly hybrid system is obtained by algorithmically computing a winning strategy in a two-pla…
Comparing Asynchronous -Complete Approximations and Quotient Based Abstractions
Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
This paper is concerned with a detailed comparison of two different abstraction techniques for the construction of finite state symbolic models for controller synthesis of hybrid s…
Constructing (Bi)Similar Finite State Abstractions using Asynchronous -Complete Approximations
Anne-Kathrin Schmuck, Jörg Raisch
This paper constructs a finite state abstraction of a possibly continuous-time and infinite state model in two steps. First, a finite external signal space is added, generating a s…
Asynchronous -Complete Approximations
Anne-Kathrin Schmuck, Jörg Raisch
This paper extends the -complete approximation method developed for time invariant systems to a larger system class, ensuring that the resulting approximation can be realized by…
Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting
Anne-Kathrin Schmuck, Jörg Raisch
This paper introduces a new behavioral system model with distinct external and internal signals possibly evolving on different time scales. This allows to capture abstraction proce…