Spatio-temporal Hybrid Automata for Cyber-Physical Systems

DOI10.1007/978-3-642-39718-9_20zbMATH Open1405.68172OpenAlexW2172533083MaRDI QIDQ2851917

Zhucheng Shao, Jing Liu

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39718-9_20

zbMATH Keywords

hybrid automataCPSspatio-temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Application models in control theory (93C95) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

This page was built for publication: Spatio-temporal Hybrid Automata for Cyber-Physical Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851917)