Compiling Esterel into Static Discrete-Event Code.
Stephen A. EdwardsVimal KapadiaMichael HalaszPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- discrete event
- circuit design
- dynamic systems
- simulation model
- discrete event simulation
- crisis response
- dynamical systems
- multiple faults
- hybrid systems
- dynamic analysis
- supervisory control
- discrete event systems
- manufacturing process
- mathematical modeling
- source code
- multi agent
- database systems
- data analysis
- timed petri nets