Login / Signup

Supervisory control problems of hierarchical finite state machines.

Hervé MarchandBenoit Gaudin
Published in: CDC (2002)
Keyphrases
  • finite state machines
  • supervisory control
  • finite state automata
  • decision problems
  • multi agent
  • dynamic environments
  • pattern matching
  • model checking
  • power grid