MEMOCODE 2019 TOC

Full Citation in the ACM Digital Library A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata Jin Woo Ro Avinash Malik Partha Roop Simulink/Stateflow® is the de-facto tool for design of Cyber-physical Systems (CPS). CPS include hybrid systems, where a discrete controller guides a continuous plant. Hybrid systems are characterised by their continuous […]