10 citations · 26 across the 4 of their papers we have counts for
1 paper · 1 filter
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…