Timed Models (5/4)

Timed models explicitly deal with time, allowing for modeling and analyzing timing properties. For a brief overview see the video below (slides Download slides) and also read the textbook Download textbook

• Timed-Triggered (TT) models - may be useful in e.g. Automotive/Avionic systems, field buses such as Timed Sensitive Networks, CAN, etc. 
• Discrete Event (DE) systems - at the core of hardware modeling/simulation with VHDL and Verilog
• Continuous-Time (CT) systems - using ordinary differential equations to describe physical systems