Login / Signup

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