Safe CPS from Unsafe Controllers,
Mehmood, U., Bak S., Smolka S. A., and Stoller S. D.
, Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)
Scott Smolka and Me,
Cleaveland, Rance
, From Reactive Systems to Cyber-Physical Systems, p.1–6, (2019)
Simulating waves, chaos and synchronization with a microcontroller,
Welsh, Andrea J., Delgado Cristian, Lee-Trimble Casey, Kaboudian Abouzar, and Fenton Flavio H.
, Chaos: An Interdisciplinary Journal of Nonlinear Science, 12/2019, Volume 29, Issue 12, (2019)
SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems,
Haghighi, Iman, Jones Austin, Kong Zhaodan, Bartocci Ezio, Grosu Radu, and Belta Calin
, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, New York, NY, USA, (2015)
(679.39 KB) Swarm Model Checking on the GPU,
DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A.
, International Journal on Software Tools for Technology Transfer, (2020)