10 citations · 26 across the 4 of their papers we have counts for
1 paper · 2 filters
Nima Roohi, Ramneet Kaur, James Weimer +2
Industrial cyber-physical systems are hybrid systems with strict safety requirements. Despite not having a formal semantics, most of these systems are modeled using Stateflow/Simul…