Sign in
Formal Synthesis of Control Strategies for Positive Monotone Systems.
Sadra Sadraddini
Calin Belta
Published in:
IEEE Trans. Autom. Control. (2019)
Keyphrases
</>
control strategies
control strategy
control system
traffic management
control policies
real time
computer systems
complex systems
formal methods
genetic algorithm
hidden markov models
distributed systems
neural network
reinforcement learning
management system
positive and negative