Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case.
Eva CosciaGianna ReggioPublished in: COMPASS/ADT (1995)
Keyphrases
- dynamic systems
- complex systems
- qualitative models
- qualitative reasoning
- consistency based diagnosis
- discrete event
- dynamical systems
- linear time invariant
- state variables
- model based diagnosis
- background knowledge
- ordinary differential equations
- temporal logic
- third party
- access control
- state estimation
- state space
- multi agent
- high level