Brief Announcement: ΔΩ: Specifying an Eventual Leader Service for Dynamic Systems.
Mikel LarreaMichel RaynalPublished in: DISC (2011)
Keyphrases
- dynamic systems
- complex systems
- discrete event
- qualitative reasoning
- consistency based diagnosis
- dynamical systems
- web services
- service providers
- model based diagnosis
- service oriented
- state variables
- qualitative models
- ordinary differential equations
- linear time invariant
- numerical solution
- real time
- particle filter