Extended self-reproducible Discrete Event System Specification (DEVS) formalism using hidden inheritance.
Sangjoon ParkSeong-Moo YooPublished in: Inf. Sci. (2015)
Keyphrases
- discrete event
- dynamic systems
- simulation model
- knowledge representation
- discrete event simulation
- multiple faults
- crisis response
- supervisory control
- hybrid systems
- operational semantics
- transition systems
- discrete event systems
- dynamical systems
- object oriented
- formal specification
- complex systems
- high level
- formal language
- mathematical modeling
- action language
- conceptual graphs
- mathematical model
- object oriented databases