Supervision of Infinite Behavior of Discrete-Event Systems

This publication has 14 references indexed in Scilit:

• Controlling behaviours of systems : Some basic concepts and some applications
  Published by Springer Nature ,2005
• On supervisory control of sequential behaviors
  IEEE Transactions on Automatic Control, 1992
• The Role of Büchi’s Automata in Computing Science
  Published by Springer Nature ,1990
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Supervisory Control of a Class of Discrete Event Processes
  SIAM Journal on Control and Optimization, 1987
• On the existence of delay-insensitive fair arbiters: Trace theory and its limitations
  Distributed Computing, 1986
• Defining liveness
  Information Processing Letters, 1985
• Adherences of languages
  Journal of Computer and System Sciences, 1980
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977
• Decision problems of finite automata design and related arithmetics
  Transactions of the American Mathematical Society, 1961