Verification of Human Driven Data-Centric Dynamic Systems.
Babak Bagheri HaririDiego CalvaneseGiuseppe De GiacomoAlin DeutschMarco MontaliPublished in: AAAI Spring Symposia (2014)
Keyphrases
- dynamic systems
- data centric
- data driven
- complex systems
- qualitative reasoning
- consistency based diagnosis
- discrete event
- business processes
- information management
- data management
- application development
- model checking
- dynamical systems
- xml schema
- routing protocol
- distributed systems
- model based diagnosis
- case study
- linear time invariant
- qualitative models
- dimensionality reduction
- multi agent systems