10 citations · 38 across the 8 of their papers we have counts for
10 papers
Interpretable Classification of Time-Series Data using Efficient Enumerative Techniques
Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Aniruddh G. Puranic +2
Cyber-physical system applications such as autonomous vehicles, wearable devices, and avionic systems generate a large volume of time-series data. Designers often look for tools to…
Control Improvisation
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia
We formalize and analyze a new problem in formal language theory termed control improvisation. Given a specification language, the problem is to produce an improviser, a probabilis…
Model Predictive Control for Signal Temporal Logic Specification
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy +3
We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use…
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia
Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on propertie…
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo +5
We address the problem of diagnosing and repairing specifications for hybrid systems formalized in signal temporal logic (STL). Our focus is on the setting of automatic synthesis o…
Control Improvisation with Probabilistic Temporal Specifications
Ilge Akkaya, Daniel J. Fremont, Rafael Valle +3
We consider the problem of generating randomized control sequences for complex networked systems typically actuated by human agents. Our approach leverages a concept known as contr…
Robust Online Monitoring of Signal Temporal Logic
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh +3
Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interactio…
Control Improvisation
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia +1
We formalize and analyze a new automata-theoretic problem termed control improvisation. Given an automaton, the problem is to produce an improviser, a probabilistic algorithm that…
Producing a Set of Models for the Iron Homeostasis Network
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1
This paper presents a method for modeling biological systems which combines formal techniques on intervals, numerical simulations and satisfaction of Signal Temporal Logic (STL) fo…
A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis +1
This paper presents a novel framework for the modeling of biological networks. It makes use of recent tools analyzing the robust satisfaction of properties of (hybrid) dynamical sy…