Nov. 23nd, 1999: SEC Study Group: Modeling stochastic hybrid systems

• Moderator: Tom A. Henzinger
• Scribe:
• Started: 2PM
• Ended:

• Study materials
• Notes
• Related issues
• Concluding notes

Study materials

Reading material

• Rajeev Alur and Thomas A. Henzinger, " Real-time system = discrete system + clock variables," Software Tools for Technology Transfer 1:86-109, 1997.

Notes

Related issues

Concluding notes