Symbolic discrete event system specification
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Hierarchical coordinationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- FUZZY SIMULATION: SPECIFYING AND IDENTIFYING QUALITATIVE MODELS∗International Journal of General Systems, 1991
- AN APPROACH TO REASONING ABOUT HYBRID SYSTEMSInternational Journal of General Systems, 1991
- SYSTEM THEORETIC FORMALISMS FOR COMBINED DISCRETE-CONTINUOUS SYSTEM SIMULATIONInternational Journal of General Systems, 1991
- DEVS representation of dynamical systems: event-based intelligent controlProceedings of the IEEE, 1989
- Diagnosing multiple faultsArtificial Intelligence, 1987
- Discrete-event simulation: When prototyping of large, complex systems is impossible, this technique, based on known behaviors of interacting elements, is usefulIEEE Spectrum, 1986
- Qualitative simulationArtificial Intelligence, 1986
- Architecture of Systems Problem SolvingPublished by Springer Nature ,1985
- On the solution of linear equation/inequality systemsMathematical Programming, 1971