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