Login / Signup

Characterizing feedback signal drop patterns in formal verification of networked control systems.

Dip GoswamiSamarjit ChakrabortyPurandar BhaduriSanjoy K. Mitter
Published in: CACSD (2013)
Keyphrases
  • formal verification
  • networked control systems
  • model checking
  • model checker
  • automated verification
  • bounded model checking
  • expert systems
  • real time
  • fuzzy logic
  • feedback control