High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control

Franz Franchetti, Tze Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, Jose M.F. Moura, Michael Franusich, Jeremy Johnson, Andre Platzer, Manuela M. Veloso

Research output: Contribution to journalArticlepeer-review


Cyberphysical systems (CPSs), ranging from critical infrastructures such as power plants, to modern (semi) autonomous vehicles, are systems that use software to control physical processes. CPSs are made up of many different computational components. Each component runs its own piece of software that implements its control algorithms, based on its model of the environment. Every component then interacts with other components through the signals and values it sends out. Collectively, these components, and the code they run, drive the complex behaviors modern society has come to expect and rely on. Due to these intricate interactions between components, managing the hundreds to millions of lines of software to ensure that the system, as a whole, performs as desired can often be unwieldy.

Original languageEnglish (US)
Article number7879901
Pages (from-to)82-103
Number of pages22
JournalIEEE Control Systems
Issue number2
StatePublished - Apr 2017

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Electrical and Electronic Engineering


Dive into the research topics of 'High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control'. Together they form a unique fingerprint.

Cite this