24 citations · 96 across the 43 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013★ 2 cited
Numerical LTL Synthesis for Cyber-Physical Systems
Chih-Hong Cheng, Edward A. Lee
Cyber-physical systems (CPS) are systems that interact with the physical world via sensors and actuators. In such a system, the reading of a sensor represents measures of a physica…
cs.LO2013★ 24 cited
EFSMT: A Logical Framework for Cyber-Physical Systems
Chih-Hong Cheng, Natarajan Shankar, Harald Ruess +1
The design of cyber-physical systems is challenging in that it includes the analysis and synthesis of distributed and embedded real-time systems for controlling, often in a nonline…