Elevator Control Logic Modeling and Simulation
This demonstration shows how to use Stateflow to model the supervisory control logic for an elevator system. Start simulation on the model to bring up the elevator system. The Stateflow chart shows how to use Truthtables, Graphical Functions, Temporal Logic and MATLAB interface using ml. notation.