C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2

First Page		Document Content
Date: 2015-02-09 14:29:37 Systems theory Differential equations Metaphysics Control theory Hybrid system Mathematical analysis Dynamical system Mathematics Symbol Hybrid automaton		C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2 Add to Reading List Source URL: publish.illinois.edu Download Document from Source Website File Size: 2,01 MB Share Document on Facebook