Compositional Synthesis of Symbolic Controllers for Attractivity Specifications.
W. Alejandro Apaza-PerezAntoine GirardPublished in: CDC (2021)
Keyphrases
- high level
- controller synthesis
- reinforcement learning
- control system
- neural network
- delay insensitive
- connectionist models
- formal specification
- texture synthesis
- information systems
- symbolic description
- functional requirements
- concurrent systems
- controller design
- data sets
- multi agent
- learning technology standards
- machine learning
- artificial intelligence
- program synthesis
- asynchronous circuits
- specification language
- symbolic representation
- control law
- knowledge base
- closed loop