Anne-Kathrin Schmuck

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates.

[BibT_eX]

[DOI]

Ameneh Nejati

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Contract-Based Distributed Logical Controller Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Fair ømega-Regular Games.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Localized Attractor Computations for Infinite-State Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.

[BibT_eX]

[DOI]

TheoretiCS, 2023

Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2023

Fair $ω$-Regular Games.

[BibT_eX]

[DOI]

CoRR, 2023

Contract-Based Distributed Synthesis in Two-Objective Parity Games.

[BibT_eX]

[DOI]

CoRR, 2023

Context-triggered Abstraction-based Control Design.

[BibT_eX]

[DOI]

CoRR, 2023

Computing Adequately Permissive Assumptions for Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications.

[BibT_eX]

[DOI]

Mehrdad Zareian

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Poster Abstract: A Toolchain for Accelerated Symbolic Control.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Poster Abstract: Towards Seamless Reactivity of Hybrid Control.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Poster Abstract: Permissiveness for Strategy Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Solving Odd-Fair Parity Games.

[BibT_eX]

[DOI]

Irmak Saglam

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Synthesizing Permissive Winning Strategy Templates for Parity Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

BOCoSy: Small but Powerful Symbolic Output-Feedback Control.

[BibT_eX]

[DOI]

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Abstraction-Based Output-Feedback Control with State-Based Specifications.

[BibT_eX]

[DOI]

Mehrdad Zareian

CoRR, 2021

Symbolic Control for Stochastic Systems via Parity Games.

[BibT_eX]

[DOI]

CoRR, 2021

Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Assume-Guarantee Distributed Synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

On the relation between reactive synthesis and supervisory control of non-terminating processes.

[BibT_eX]

[DOI]

Thomas Moor

Discret. Event Dyn. Syst., 2020

Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game.

[BibT_eX]

[DOI]

CoRR, 2020

On abstraction-based controller design with output feedback.

[BibT_eX]

[DOI]

Necmiye Ozay

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Resilient Abstraction-Based Controller Design.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Compositional Synthesis of Finite-State Abstractions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Environmentally-Friendly GR(1) Synthesis.

[BibT_eX]

[DOI]

Nir Piterman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

PGCD: robot programming and verification with geometry, concurrency, and dynamics.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Lazy Abstraction-Based Controller Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Lazy Abstraction-Based Control for Reachability.

[BibT_eX]

[DOI]

CoRR, 2018

Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems.

[BibT_eX]

[DOI]

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

Lazy Abstraction-Based Control for Safety Specifications.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Dynamic hierarchical reactive controller synthesis.

[BibT_eX]

[DOI]

Sadegh Esmaeil Zadeh Soudjani

Adrian Leva

Discret. Event Dyn. Syst., 2017

Compositional construction of finite state abstractions for stochastic control systems.

[BibT_eX]

[DOI]

Kaushik Mallik

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

2016

Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2016

Compositional Synthesis of Finite State Abstractions.

[BibT_eX]

[DOI]

Kaushik Mallik

CoRR, 2016

Supervisory controller synthesis for decomposable deterministic context free specification languages.

[BibT_eX]

[DOI]

Kaushik Mallik

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

Building bridges in abstraction-based controller synthesis: advancing, combining, and comparing methods from computer and control.

[BibT_eX]

[DOI]

PhD thesis, 2015

Dynamic Hierarchical Reactive Controller Synthesis.

[BibT_eX]

[DOI]

CoRR, 2015

Comparing asynchronous l-complete approximations and quotient based abstractions.

[BibT_eX]

[DOI]

Paulo Tabuada

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

2014

Asynchronous I-complete approximations.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2014

Asynchronous $l$-Complete Approximations.

[BibT_eX]

[DOI]

CoRR, 2014

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Simulation and bisimulation over multiple time scales in a behavioral setting.

[BibT_eX]

[DOI]

Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

Constructing (Bi)similar finite state abstractions using asynchronous l-complete approximations.

[BibT_eX]

[DOI]