Control Improvisation with Probabilistic Temporal Specifications.
Ilge AkkayaDaniel J. FremontRafael ValleAlexandre DonzéEdward A. LeeSanjit A. SeshiaPublished in: CoRR (2015)
Keyphrases
- temporal constraints
- temporal reasoning
- spatio temporal
- temporal information
- control strategy
- control system
- learning algorithm
- control theory
- process control
- control method
- probabilistic model
- data driven
- generative model
- posterior probability
- relational databases
- multi agent systems
- bayesian networks
- case study
- temporal patterns
- information systems
- probability theory
- probabilistic logic
- databases
- reactive systems
- delay insensitive