Login / Signup

Automatic synthesis of switching controllers for linear hybrid systems: Safety control.

Massimo BenerecettiMarco FaellaStefano Minopoli
Published in: Theor. Comput. Sci. (2013)
Keyphrases