5 citations · 5 across the 1 of their papers we have counts for
3 papers
Data Driven Stability Analysis of Black-box Switched Linear Systems
Joris Kenanian, Ayca Balkan, Raphael M. Jungers +1
Can we conclude the stability of an unknown dynamical system from the knowledge of a finite number of snapshots of trajectories? We tackle this black-box problem for switched linea…
Mode-Target Games: Reactive Synthesis for Control Applications
Ayca Balkan, Moshe Vardi, Paulo Tabuada
In this paper we introduce a class of Linear Temporal Logic (LTL) specifications for which the problem of synthesizing controllers can be solved in polynomial time. The new class o…
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control
Jonathan A. DeCastro, Ruediger Ehlers, Matthias Rungger +3
The aim of this work is to address issues where formal specifications cannot be realized on a given dynamical system subjected to a changing environment. Such failures occur whenev…