Sign in

Dynamic input/output automata: A formal and compositional model for dynamic systems.

Paul C. AttieNancy A. Lynch
Published in: Inf. Comput. (2016)
Keyphrases
  • input output
  • dynamic systems
  • discrete event
  • management system
  • complex systems
  • mathematical model
  • dynamic programming
  • internal states
  • noise cancellation
  • search space
  • simulation model
  • model based diagnosis