Matthias Rungger

IEEE Trans. Autom. Control., 2021

2020

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2020

2019

Symbolic Optimal Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

2018

Compositional Construction of Approximate Abstractions of Interconnected Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

SENSE: Abstraction-Based Synthesis of Networked Control Systems.

[BibT_eX]

[DOI]

Mahmoud Khaled

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Accurate reachability analysis of uncertain nonlinear systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017

Approximations of Stochastic Hybrid Systems: A Compositional Approach.

[BibT_eX]

[DOI]

Peyman Mohajerin Esfahani

IEEE Trans. Autom. Control., 2017

Optimized State Space Grids for Abstractions.

[BibT_eX]

[DOI]

Alexander Weber

IEEE Trans. Autom. Control., 2017

Computing Robust Controlled Invariant Sets of Linear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Feedback Refinement Relations for the Synthesis of Symbolic Controllers.

[BibT_eX]

[DOI]

Alexander Weber

IEEE Trans. Autom. Control., 2017

Automated generation of dynamics-based runtime certificates for high-level control.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2017

Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Quantitative Implementation Strategies for Safety Controllers.

[BibT_eX]

[DOI]

CoRR, 2017

Invariance Feedback Entropy of Uncertain Control Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Application and system-level software fault tolerance through full system restarts.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Invariance Feedback Entropy of Nondeterministic Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

On the invariance feedback entropy of linear perturbed control systems.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Arbitrarily precise abstractions for optimal controller synthesis.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

A Notion of Robustness for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2016

SCOTS: A Tool for the Synthesis of Symbolic Controllers.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Symbolic synthesis with average performance guarantees.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Symbolic models of networked control systems: A feedback refinement relation approach.

[BibT_eX]

[DOI]

Mahmoud Khaled

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015

Compositional construction of approximate abstractions.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

First steps toward formal controller synthesis for bipedal robots.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Construction of approximations of stochastic control systems: A compositional approach.

[BibT_eX]

[DOI]

Peyman Mohajerin Esfahani

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

State space grids for low complexity abstractions.

[BibT_eX]

[DOI]

Alexander Weber

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Towards Robustness for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems.

[BibT_eX]

[DOI]

Michael Deflorian

J. Comput. Appl. Math., 2014

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.

[BibT_eX]

[DOI]

CoRR, 2014

Abstracting and refining robustness for cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Discounting the past in robust finite-state systems.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Feedback refinement relations for symbolic controller synthesis.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic.

[BibT_eX]

[DOI]

Manuel Mazo Jr.

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A symbolic approach to the design of robust cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Abstraction-based solution of optimal stopping problems under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Scaling up controller synthesis for linear systems and safety specifications.

[BibT_eX]

[DOI]

Manuel Mazo Jr.

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On-the-fly model abstraction for controller synthesis.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2010

Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers).

[BibT_eX]

[DOI]

Autom., 2010

Continuity of the value function for exit time optimal control problems of hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Hierarchical hybrid modeling and control of flexible manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the 10th European Control Conference, 2009

Function approximation for the deterministic Hamilton-Jacobi-Bellman equation.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Optimal Control for Deterministic Hybrid Systems using Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Efficient Planning of Autonomous Robots using Hierarchical Decomposition.

[BibT_eX]

Proceedings of the ICINCO 2008, 2008

Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning.

[BibT_eX]

[DOI]

Hao Ding