Formal Specifications for Hybrid Dynamical Systems.
Pieter J. MostermanGautam BiswasPublished in: IJCAI (1) (1997)
Keyphrases
- dynamical systems
- formal specification
- differential equations
- object oriented design
- dynamic systems
- specification languages
- model checking
- nonlinear dynamical systems
- control theory
- reverse engineering
- qualitative simulation
- linear systems
- formal methods
- agent environment
- phase space
- dynamical behavior
- state space
- protocol specification
- information systems
- discrete dynamical systems
- dynamical models
- linear quadratic
- nonlinear dynamics
- partially observable markov decision processes