![\"Lafortune\"](\"\/cise\/files\/2017\/09\/Lafortune.jpg\")
<\/h4>\nFriday, September 15,\u00a02017, 2pm-3pm
\n8 St. Mary’s Street,\u00a0PHO 211
\nRefreshments at 1:45pm<\/p>\n
<\/h4>\n<\/p>\n
<\/p>\n
Thirty years have elapsed since the publication in the control engineering literature of the seminal papers of Ramadge and Wonham that launched the theory of supervisory control for discrete event systems. This theory was subsequently significantly developed to handle a large class of control architectures with horizontal or vertical modularity. In parallel, significant advances were made in the area of formal methods in computer science, from verification problems for closed systems to reactive synthesis problems for systems that interact with their environment. More recently, the area of formal methods in control has emerged, primarily in the context of cyber-physical systems that are abstracted as discrete transition systems subject to specifications expressed in temporal logic. We will first present our views on how these research areas intersect and complement each other. We will then describe some recent work on the synthesis of supervisors and sensor activation policies for partially-observed systems. Finally, we will conclude with some future perspectives.<\/p>\n
St\u00e9phane Lafortune<\/strong>\u00a0is a professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He obtained his degrees from Ecole Polytechnique de Montr\u00e9al (B.Eng), McGill University (M.Eng), and the University of California at Berkeley (PhD), all in electrical engineering. Dr. Lafortune is a Fellow of the IEEE (1999). His research interests are in discrete event systems and include multiple problem domains: modeling, diagnosis, control, optimization, and applications to computer systems. He co-authored, with C. Cassandras, the textbook\u00a0Introduction to Discrete Event Systems<\/em>\u00a0(2nd Edition, Springer, 2008). He is co-developer of the software packages DESUMA and UMDES.<\/p>\n Faculty Host: Christos Cassandras Friday, September 15,\u00a02017, 2pm-3pm 8 St. Mary’s Street,\u00a0PHO 211 Refreshments at 1:45pm St\u00e9phane Lafortune University of\u00a0Michigan Supervisory Control of Discrete Event Systems: A Retrospective and Future Perspectives Thirty years have elapsed since the publication in the control engineering literature of the seminal papers of Ramadge and Wonham that launched the theory of supervisory […]<\/p>\n","protected":false},"author":15670,"featured_media":0,"parent":29986,"menu_order":35,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/30022"}],"collection":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/users\/15670"}],"replies":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/comments?post=30022"}],"version-history":[{"count":5,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/30022\/revisions"}],"predecessor-version":[{"id":30027,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/30022\/revisions\/30027"}],"up":[{"embeddable":true,"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/pages\/29986"}],"wp:attachment":[{"href":"https:\/\/www.bu.edu\/cise\/wp-json\/wp\/v2\/media?parent=30022"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
\nStudent Host: Rebecca Swaszek<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"