On control of systems modelled as deterministic Rabin automata
- 1 September 1995
- journal article
- Published by Springer Nature in Discrete Event Dynamic Systems
- Vol. 5 (4), 357-381
- https://doi.org/10.1007/bf01439153
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Logical aspects of control of discrete-event systems: A survey of tools and techniquesPublished by Springer Nature ,2005
- Control of ω-automata, Church's problem, and the emptiness problem for tree ω-automataPublished by Springer Nature ,2005
- Smart cars on smart roads: problems of controlIEEE Transactions on Automatic Control, 1993
- On supervisory control of sequential behaviorsIEEE Transactions on Automatic Control, 1992
- The control of discrete event systemsProceedings of the IEEE, 1989
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automataIEEE Transactions on Automatic Control, 1989
- Realizable and unrealizable specifications of reactive systemsLecture Notes in Computer Science, 1989
- Defining livenessInformation Processing Letters, 1985
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966