Matthias Rungger

53 papers C 1Journal 25Unranked 27

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Invariance Feedback Entropy of Uncertain Control Systems. IEEE Trans. Autom. Control. Mahendra Singh Tomar, Matthias Rungger, Majid Zamani
2020	J	`jnl`	Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber Phys. Syst. Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
2019	J	`jnl`	Symbolic Optimal Control. IEEE Trans. Autom. Control. Gunther Reissig, Matthias Rungger
2018	—	`conf`	Accurate reachability analysis of uncertain nonlinear systems. HSCC Matthias Rungger, Majid Zamani
2018	J	`jnl`	Compositional Construction of Approximate Abstractions of Interconnected Control Systems. IEEE Trans. Control. Netw. Syst. Matthias Rungger, Majid Zamani
2018	—	`conf`	SENSE: Abstraction-Based Synthesis of Networked Control Systems. MeTRiD@ETAPS Mahmoud Khaled, Matthias Rungger, Majid Zamani
2018	J	`jnl`	Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
2017	—	`conf`	Application and system-level software fault tolerance through full system restarts. ICCPS Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo
2017	J	`jnl`	Approximations of Stochastic Hybrid Systems: A Compositional Approach. IEEE Trans. Autom. Control. Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
2017	—	`conf`	Arbitrarily precise abstractions for optimal controller synthesis. CDC Matthias Rungger, Gunther Reissig
2017	J	`jnl`	Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit
2017	J	`jnl`	Computing Robust Controlled Invariant Sets of Linear Systems. IEEE Trans. Autom. Control. Matthias Rungger, Paulo Tabuada
2017	J	`jnl`	Feedback Refinement Relations for the Synthesis of Symbolic Controllers. IEEE Trans. Autom. Control. Gunther Reissig, Alexander Weber, Matthias Rungger
2017	J	`jnl`	Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger
2017	—	`conf`	Invariance Feedback Entropy of Nondeterministic Control Systems. HSCC Matthias Rungger, Majid Zamani
2017	J	`jnl`	Invariance Feedback Entropy of Uncertain Control Systems. CoRR Matthias Rungger, Majid Zamani
2017	—	`conf`	On the invariance feedback entropy of linear perturbed control systems. CDC Matthias Rungger, Majid Zamani
2017	J	`jnl`	Optimized State Space Grids for Abstractions. CoRR Alexander Weber, Matthias Rungger, Gunther Reissig
2017	J	`jnl`	Optimized State Space Grids for Abstractions. IEEE Trans. Autom. Control. Alexander Weber, Matthias Rungger, Gunther Reissig
2017	J	`jnl`	Quantitative Implementation Strategies for Safety Controllers. CoRR Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
2017	J	`jnl`	Symbolic Optimal Control. CoRR Gunther Reissig, Matthias Rungger
2016	J	`jnl`	A Notion of Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. Matthias Rungger, Paulo Tabuada
2016	J	`jnl`	Computing Robust Controlled Invariant Sets of Linear Systems. CoRR Matthias Rungger, Paulo Tabuada
2016	—	`conf`	SCOTS: A Tool for the Synthesis of Symbolic Controllers. HSCC Matthias Rungger, Majid Zamani
2016	—	`conf`	Symbolic models of networked control systems: A feedback refinement relation approach. Allerton Mahmoud Khaled, Matthias Rungger, Majid Zamani
2016	—	`conf`	Symbolic synthesis with average performance guarantees. CDC Matthias Rungger, Gunther Reissig, Majid Zamani
2015	J	`jnl`	Approximations of Stochastic Hybrid Systems: A Compositional Approach. CoRR Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
2015	J	`jnl`	Compositional Construction of Approximate Abstractions of Interconnected Control Systems. CoRR Matthias Rungger, Majid Zamani
2015	—	`conf`	Compositional construction of approximate abstractions. HSCC Matthias Rungger, Majid Zamani
2015	—	`conf`	Construction of approximations of stochastic control systems: A compositional approach. CDC Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
2015	J	`jnl`	Feedback Refinement Relations for the Synthesis of Symbolic Controllers. CoRR Gunther Reissig, Alexander Weber, Matthias Rungger
2015	—	`conf`	First steps toward formal controller synthesis for bipedal robots. HSCC Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle
2015	—	`conf`	State space grids for low complexity abstractions. CDC Matthias Rungger, Alexander Weber, Gunther Reissig
2014	—	`conf`	Abstracting and refining robustness for cyber-physical systems. HSCC Matthias Rungger, Paulo Tabuada
2014	—	`conf`	Discounting the past in robust finite-state systems. CDC Matthias Rungger, Paulo Tabuada
2014	J	`jnl`	Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
2014	—	`conf`	Feedback refinement relations for symbolic controller synthesis. CDC Gunther Reissig, Matthias Rungger
2014	J	`jnl`	Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems. J. Comput. Appl. Math. Michael Deflorian, Matthias Rungger
2014	—	`conf`	Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. CDC Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2014	J	`jnl`	Towards Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. Paulo Tabuada, Sina Yamac Caliskan, Matthias Rungger, Rupak Majumdar
2013	—	`conf`	A symbolic approach to the design of robust cyber-physical systems. CDC Matthias Rungger, Paulo Tabuada
2013	J	`jnl`	Abstracting and refining robustness for cyber-physical systems. CoRR Matthias Rungger, Paulo Tabuada
2013	—	`conf`	Abstraction-based solution of optimal stopping problems under uncertainty. CDC Gunther Reissig, Matthias Rungger
2013	—	`conf`	Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
2012	C	`conf`	On-the-fly model abstraction for controller synthesis. ACC Matthias Rungger, Olaf Stursberg
2012	—	`conf`	Scaling up controller synthesis for linear systems and safety specifications. CDC Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
2010	—	`conf`	Continuity of the value function for exit time optimal control problems of hybrid systems. CDC Matthias Rungger, Olaf Stursberg
2010	J	`jnl`	Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). Autom. Olaf Stursberg, Tina Paschedag, Matthias Rungger, Hao Ding
2009	—	`conf`	Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. CDC Matthias Rungger, Olaf Stursberg
2009	—	`conf`	Hierarchical hybrid modeling and control of flexible manufacturing systems. ECC Tina Paschedag, Matthias Rungger, Hao Ding, Olaf Stursberg
2009	—	`conf`	Optimal Control for Deterministic Hybrid Systems using Dynamic Programming. ADHS Matthias Rungger, Olaf Stursberg
2008	—	`conf`	Efficient Planning of Autonomous Robots using Hierarchical Decomposition. ICINCO-RA (1) Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou
2008	—	`conf`	Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. ABiALS Matthias Rungger, Hao Ding, Olaf Stursberg