Clark School Home UMD
ECE

Events Calendar

Event Information

ISR Special Seminar: Ufuk Topcu, "Correct-By-Construction Control Synthesis"
Thursday, April 3, 2014
11:00 a.m.
1146 AV Williams Bldg
For More Information:

Correct-By-Construction Control Synthesis in Model-Based Design of Autonomous Systems

Ufuk Topcu
Research Assistant Professor
Department of Electrical and Systems Engineering
University of Pennsylvania

Host
Sennur Ulukus

Abstract
How can we affordably build trustworthy autonomous, networked systems? Partly motivated by this question, I describe a shift from the traditional "design+verify" approach to "specify+synthesize" in model-based engineering. I then discuss our recent results on automated synthesis of correct-by-construction, hierarchical control protocols. These results account for hybrid dynamics that are subject to rich temporal logic specifications and heterogenous uncertainties, and that operate in adversarial environments. They combine ideas from control theory with those from computer science, and exploit underlying system-theoretic interpretations to suppress the inherent computational complexity. The expressivity of the resulting design methodology enables us to formally investigate a number of emerging issues in autonomous, networked systems. I conclude my talk with a brief overview of several such issues from my ongoing projects: (i) compositional synthesis for the so-called fractionated systems; (ii) effects of perception imperfections on protocol synthesis; (iii) interfaces between learning modules and reactive controllers with provable guarantees of correctness; and (iv) human-embedded autonomy.

Biography
Ufuk Topcu is a Research Assistant Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania. He received his Ph.D. from the University of California, Berkeley and was a Postdoctoral Scholar at the California Institute of Technology until 2012. His research is on the analysis, design, and verification of autonomous, networked systems.

This Event is For: Graduate • Faculty • Staff • Post-Docs • Alumni

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

July 2014
SU M TU W TH F SA
1 2 3 4 5 w
6 7 8 9 10 11 12 w
13 14 15 16 17 18 19 w
20 21 22 23 24 25 26 w
27 28 29 30 31 w
Search Events

Events

Events Calendar
Submit Event

News

Newsroom
News Search
News Archives