Login / Signup

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.

Yi DengAlessandro D'InnocenzoMaria Domenica Di BenedettoStefano Di GennaroA. Agung Julius
Published in: IEEE Trans. Autom. Control. (2016)
Keyphrases
  • hybrid automata
  • finite state automata
  • measurement error
  • discrete event
  • model checking
  • uncertain data
  • discrete event systems
  • context dependent