Formal Synthesis of Control Strategies for Positive Monotone Systems.
Sadra SadraddiniCalin BeltaPublished in: CoRR (2017)
Keyphrases
- control strategies
- control strategy
- control system
- traffic management
- controller design
- formal methods
- data mining
- mathematical models
- management system
- genetic algorithm
- neural network
- intelligent systems
- computer systems
- complex systems
- degrees of freedom
- genetic programming
- boolean functions
- graphical models
- reinforcement learning