• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Contract-based design of control protocols for safety-critical cyber-physical systems.

Pierluigi NuzzoJohn B. FinnAntonio IannopolloAlberto L. Sangiovanni-Vincentelli
Published in: DATE (2014)
Keyphrases
  • safety critical
  • cyber physical systems
  • embedded systems
  • formal methods
  • fault tolerant
  • physical world
  • artificial intelligence
  • multi agent
  • low cost