Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation.
Liliana AndradeTorsten MaehneAlain VachouxCédric Ben AounFrançois PêcheuxMarie-Minerve LouëratPublished in: DATE (2015)
Keyphrases
- discrete event
- data flow
- simulation model
- mathematical modeling
- discrete event simulation
- dynamic systems
- discrete event systems
- hybrid systems
- data analysis
- database machine
- supervisory control
- crisis response
- multiple faults
- control flow
- complex systems
- petri net
- dynamical systems
- mathematical models
- model based diagnosis
- colored petri nets
- metamodel
- case study
- mathematical model
- signal processing
- search space
- cooperative
- multi agent
- reinforcement learning
- database systems