Poster Abstract: Modeling, Simulation and Verification Environment for Engineering Cyber-Physical Systems Based on Discrete Event System Specification.
Hae Young LeeSo-Jin LeePublished in: ICCPS (2016)
Keyphrases
- discrete event
- discrete event simulation
- simulation model
- dynamic systems
- cyber physical systems
- mathematical modeling
- colored petri nets
- physical world
- dynamical systems
- cyber physical
- real time
- virtual world
- petri net
- semiconductor manufacturing
- social networks
- software engineering
- artificial intelligence
- agent model
- mathematical model
- data processing
- e government
- low cost