PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

Abstract

Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS design and verification is quite challenging because of asynchronous communication, network delays, and clock skews. Furthermore, their model checking verification typically becomes… (More)
DOI: 10.4204/EPTCS.105.2

Topics

6 Figures and Tables

Slides referencing similar topics