28 citations · 73 across the 18 of their papers we have counts for
8 papers · 1 filter
Predictive Monitoring of Black-Box Dynamical Systems
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik +2
We study the problem of predictive runtime monitoring of black-box dynamical systems with quantitative safety properties. The black-box setting stipulates that the exact semantics…
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…
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems
Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani
We consider the policy synthesis problem for continuous-state controlled Markov processes evolving in discrete time, when the specification is given as a Büchi condition (visit a s…
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…