A Clock-Based Framework for Construction of Hybrid Systems

DOI10.1007/978-3-642-39718-9_2zbMath1405.68184OpenAlexW2264987684MaRDI QIDQ2851898

He Jifeng

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_2

Mathematics Subject Classification ID

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)

Related Items (1)

Timed-pNets: a communication behavioural semantic model for distributed systems

This page was built for publication: A Clock-Based Framework for Construction of Hybrid Systems