CAS04/CS23/SMC28 Joint Chapter Meeting

Date: Wednesday, March 23
Time: 7 pm – 8 pm
Location: Virtual
FORMAL SYNTHESIS OF CONTROL STRATEGIES FOR DYNAMICAL SYSTEMS
Speaker: DR. CALIN A. BELTA, PROFESSOR, DEPARTMENT OF MECHANICAL ENGINEERING
In this talk, I will discuss a set of approaches to the formal synthesis of control strategies for dynamical systems from temporal logic specifications. I will first show how automata games for finite systems can be extended to obtain conservative control strategies for low dimensional linear and multilinear dynamical systems. I will then present several methods to reduce conservativeness and improve the scalability of the control synthesis algorithms for more general classes of dynamics. I will illustrate the usefulness of these approaches with examples from robotics and traffic control.

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

*