Algebraic synthesis of logical controllers despite inconsistencies in specifications.
Jean-Marc RousselJean-Jacques LesagePublished in: WODES (2012)
Keyphrases
- controller synthesis
- inconsistent knowledge
- control system
- formal specification
- iterative learning control
- delay insensitive
- program synthesis
- high level
- finite state machines
- higher order
- reinforcement learning
- knowledge base
- information systems
- databases
- multi agent
- real time
- operational semantics
- reactive systems
- algebraic structure
- logical formulas
- logical rules
- artificial intelligence
- machine learning