A note on controllability of deterministic context-free~systems
From MaRDI portal
Publication:2391510
DOI10.1016/J.AUTOMATICA.2012.06.004zbMATH Open1268.93025OpenAlexW2067744646MaRDI QIDQ2391510FDOQ2391510
Authors: Tomáš Masopust
Publication date: 31 July 2013
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0005109812002543
Recommendations
- A Note on Deciding Controllability in Pushdown Systems
- Controllability of predicates and languages in discrete-event systems
- On control of systems modelled as deterministic Rabin automata
- A note on deciding the controllability of a language K with respect to a language L
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively
- Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
- scientific article; zbMATH DE number 18045
- Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
- A Note on the Properties of the Supremal Controllable Sublanguage in Pushdown Systems
- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems
controllabilitydecidabilitydiscrete-event systemsdeterministic context-free systemsstate-space explosion problem
Cites Work
- On a weaker notion of controllability of a language K with respect to a language L
- A Note on Deciding Controllability in Pushdown Systems
- Introduction to Discrete Event Systems
- A variant of a recursively unsolvable problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- \(L(A)=L(B)\)? decidability results from complete formal systems
- More concise representation of regular languages by automata and regular expressions
- Title not available (Why is that?)
Cited In (2)
Uses Software
This page was built for publication: A note on controllability of deterministic context-free~systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391510)