On controlling timed discrete event systems

  • Authors:

  • Darren D. Cofer;Vijay K. Garg

  • Affiliations:

  • -;-

  • Venue:
  • Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
  • Year:
  • 1996

  • Fault Diagnosis for Timed Automata

    FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2

Quantified Score

Hi-index 0.00

Visualization

Abstract