Formal Synthesis of Stabilizing Controllers for Switched Systems.

Pavithra Prabhakar Miriam Garcia Soto

Published in: HSCC (2017)

Keyphrases

data sets
distributed systems
computing systems
formal methods
decision making
e learning
reinforcement learning
expert systems
artificial neural networks
computer systems
building blocks
complex systems
retrieval systems
fuzzy rules
program synthesis