Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.
Adnane SaoudPushpak JagtapMajid ZamaniAntoine GirardPublished in: ADHS (2018)
Keyphrases
- control system
- markov chain
- closed loop
- program synthesis
- high level
- control law
- markov processes
- databases
- database
- industrial automation
- website
- face recognition
- multi class
- semi markov decision processes
- real environment
- finite state
- texture synthesis
- dynamic programming
- multi agent systems
- knowledge base
- artificial intelligence
- genetic algorithm
- machine learning