1 expert in "formal methods for control design" found:
Jun Liu
Expert In:
Control
and dynamical systems
Dynamics and
control
of networks
Formal
methods
for
control
design
Applications in cyber-physical systems and robotics
View Profile