Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence

Eric M. S. P. Veith, Lars Fischer, Martin Tröschel +1

Principles of modern cyber-physical system (CPS) analysis are based on analytical methods that depend on whether safety or liveness requirements are considered. Complexity is abstr…