TY - GEN
T1 - A modal interface contract theory for guarded input/output automata with an application in traffic system design
AU - Phan-Minh, Tung
AU - Guo, Steve
AU - Schurmann, Bastian
AU - Althoff, Matthias
AU - Murray, Richard M.
N1 - Publisher Copyright:
© 2019 American Automatic Control Council.
PY - 2019/7
Y1 - 2019/7
N2 - As a direct contribution to recent efforts of bringing formal design-by-contract methods to hybrid systems, we introduce a variant of modal interface contract theory based on input/output automata with guarded transitions. We present an algebra of operators for interface composition, contract composition, contract conjunction, contract refinement and some theorems to demonstrate that our contract object has reasonably universal semantics. As an application, we use our framework to aid the design of a networked control system of traffic.
AB - As a direct contribution to recent efforts of bringing formal design-by-contract methods to hybrid systems, we introduce a variant of modal interface contract theory based on input/output automata with guarded transitions. We present an algebra of operators for interface composition, contract composition, contract conjunction, contract refinement and some theorems to demonstrate that our contract object has reasonably universal semantics. As an application, we use our framework to aid the design of a networked control system of traffic.
UR - http://www.scopus.com/inward/record.url?scp=85072301547&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85072301547
T3 - Proceedings of the American Control Conference
SP - 1704
EP - 1711
BT - 2019 American Control Conference, ACC 2019
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2019 American Control Conference, ACC 2019
Y2 - 10 July 2019 through 12 July 2019
ER -