default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthias Rungger
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j13]Mahendra Singh Tomar
, Matthias Rungger, Majid Zamani:
Invariance Feedback Entropy of Uncertain Control Systems. IEEE Trans. Autom. Control. 66(12): 5680-5695 (2021)- 2020
- [j12]Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo:
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber Phys. Syst. 4(4): 47:1-47:20 (2020)
2010 – 2019
- 2019
- [j11]Gunther Reissig, Matthias Rungger:
Symbolic Optimal Control. IEEE Trans. Autom. Control. 64(6): 2224-2239 (2019) - 2018
- [j10]Matthias Rungger, Majid Zamani:
Compositional Construction of Approximate Abstractions of Interconnected Control Systems. IEEE Trans. Control. Netw. Syst. 5(1): 116-127 (2018) - [c28]Matthias Rungger, Majid Zamani:
Accurate reachability analysis of uncertain nonlinear systems. HSCC 2018: 61-70 - [c27]Mahmoud Khaled, Matthias Rungger, Majid Zamani:
SENSE: Abstraction-Based Synthesis of Networked Control Systems. MeTRiD@ETAPS 2018: 65-78 - [i12]Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo:
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR abs/1812.03546 (2018) - 2017
- [j9]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit:
Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. 27(2): 371-405 (2017) - [j8]Gunther Reissig, Alexander Weber, Matthias Rungger:
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. IEEE Trans. Autom. Control. 62(4): 1781-1796 (2017) - [j7]Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani:
Approximations of Stochastic Hybrid Systems: A Compositional Approach. IEEE Trans. Autom. Control. 62(6): 2838-2853 (2017) - [j6]Matthias Rungger, Paulo Tabuada:
Computing Robust Controlled Invariant Sets of Linear Systems. IEEE Trans. Autom. Control. 62(7): 3665-3670 (2017) - [j5]Alexander Weber, Matthias Rungger, Gunther Reissig:
Optimized State Space Grids for Abstractions. IEEE Trans. Autom. Control. 62(11): 5816-5821 (2017) - [c26]Matthias Rungger, Gunther Reissig:
Arbitrarily precise abstractions for optimal controller synthesis. CDC 2017: 1761-1768 - [c25]Matthias Rungger, Majid Zamani:
On the invariance feedback entropy of linear perturbed control systems. CDC 2017: 3998-4003 - [c24]Matthias Rungger, Majid Zamani:
Invariance Feedback Entropy of Nondeterministic Control Systems. HSCC 2017: 91-100 - [c23]Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo:
Application and system-level software fault tolerance through full system restarts. ICCPS 2017: 197-206 - [i11]Matthias Rungger, Majid Zamani:
Invariance Feedback Entropy of Uncertain Control Systems. CoRR abs/1706.05242 (2017) - [i10]Gunther Reissig, Matthias Rungger:
Symbolic Optimal Control. CoRR abs/1709.07333 (2017) - [i9]Alexander Weber, Matthias Rungger, Gunther Reissig:
Optimized State Space Grids for Abstractions. CoRR abs/1711.01637 (2017) - [i8]Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani:
Quantitative Implementation Strategies for Safety Controllers. CoRR abs/1712.05278 (2017) - [i7]Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger:
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports 7(5): 84-96 (2017) - 2016
- [j4]Matthias Rungger, Paulo Tabuada:
A Notion of Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. 61(8): 2108-2123 (2016) - [c22]Mahmoud Khaled, Matthias Rungger, Majid Zamani:
Symbolic models of networked control systems: A feedback refinement relation approach. Allerton 2016: 187-193 - [c21]Matthias Rungger, Gunther Reissig, Majid Zamani:
Symbolic synthesis with average performance guarantees. CDC 2016: 7404-7410 - [c20]Matthias Rungger, Majid Zamani:
SCOTS: A Tool for the Synthesis of Symbolic Controllers. HSCC 2016: 99-104 - [i6]Matthias Rungger, Paulo Tabuada:
Computing Robust Controlled Invariant Sets of Linear Systems. CoRR abs/1601.00416 (2016) - 2015
- [c19]Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani:
Construction of approximations of stochastic control systems: A compositional approach. CDC 2015: 525-530 - [c18]Matthias Rungger, Alexander Weber, Gunther Reissig:
State space grids for low complexity abstractions. CDC 2015: 6139-6146 - [c17]Matthias Rungger, Majid Zamani:
Compositional construction of approximate abstractions. HSCC 2015: 68-77 - [c16]Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle:
First steps toward formal controller synthesis for bipedal robots. HSCC 2015: 209-218 - [i5]Gunther Reissig, Alexander Weber, Matthias Rungger:
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. CoRR abs/1503.03715 (2015) - [i4]Matthias Rungger, Majid Zamani:
Compositional Construction of Approximate Abstractions of Interconnected Control Systems. CoRR abs/1507.05014 (2015) - [i3]Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani:
Approximations of Stochastic Hybrid Systems: A Compositional Approach. CoRR abs/1508.06496 (2015) - 2014
- [j3]Michael Deflorian, Matthias Rungger:
Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems. J. Comput. Appl. Math. 255: 346-352 (2014) - [j2]Paulo Tabuada, Sina Yamac Caliskan, Matthias Rungger, Rupak Majumdar:
Towards Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. 59(12): 3151-3163 (2014) - [c15]Gunther Reissig, Matthias Rungger:
Feedback refinement relations for symbolic controller synthesis. CDC 2014: 88-94 - [c14]Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada:
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. CDC 2014: 816-823 - [c13]Matthias Rungger, Paulo Tabuada:
Discounting the past in robust finite-state systems. CDC 2014: 842-847 - [c12]Matthias Rungger, Paulo Tabuada:
Abstracting and refining robustness for cyber-physical systems. HSCC 2014: 223-232 - [i2]Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit:
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR abs/1410.6375 (2014) - 2013
- [c11]Gunther Reissig, Matthias Rungger:
Abstraction-based solution of optimal stopping problems under uncertainty. CDC 2013: 3190-3196 - [c10]Matthias Rungger, Paulo Tabuada:
A symbolic approach to the design of robust cyber-physical systems. CDC 2013: 3932-3937 - [c9]Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada:
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC 2013: 333-342 - [i1]Matthias Rungger, Paulo Tabuada:
Abstracting and refining robustness for cyber-physical systems. CoRR abs/1310.5199 (2013) - 2012
- [c8]Matthias Rungger, Olaf Stursberg:
On-the-fly model abstraction for controller synthesis. ACC 2012: 2645-2650 - [c7]Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada:
Scaling up controller synthesis for linear systems and safety specifications. CDC 2012: 7638-7643 - 2010
- [j1]Olaf Stursberg, Tina Paschedag, Matthias Rungger, Hao Ding:
Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). Autom. 58(8): 458-467 (2010) - [c6]Matthias Rungger, Olaf Stursberg:
Continuity of the value function for exit time optimal control problems of hybrid systems. CDC 2010: 4210-4215
2000 – 2009
- 2009
- [c5]Matthias Rungger, Olaf Stursberg:
Optimal Control for Deterministic Hybrid Systems using Dynamic Programming. ADHS 2009: 316-321 - [c4]Matthias Rungger, Olaf Stursberg:
Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. CDC 2009: 2268-2273 - [c3]Tina Paschedag, Matthias Rungger, Hao Ding, Olaf Stursberg:
Hierarchical hybrid modeling and control of flexible manufacturing systems. ECC 2009: 4931-4936 - 2008
- [c2]Matthias Rungger, Hao Ding, Olaf Stursberg:
Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. ABiALS 2008: 301-320 - [c1]Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou:
Efficient Planning of Autonomous Robots using Hierarchical Decomposition. ICINCO-RA (1) 2008: 262-267
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
