Imperial College London > Talks@ee.imperial > Control and Power Seminars > POSTPONED TBD Sound Control Synthesis with Logic and Data
Log inImperial users Other users No account?Information onFinding a talk Adding a talk Syndicating talks Who we are Everything else |
POSTPONED TBD Sound Control Synthesis with Logic and DataAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Giordano Scarciotti. Abstract: We are witnessing an inter-disciplinary convergence between scientific areas underpinned by model-based reasoning and by data-driven learning. Access to information-rich data has to be traded off with a demand for safety criticality: cyber-physical systems are exemplar applications. In this talk, I shall report on ongoing research in this cross-disciplinary domain at OXCAV , the Oxford Control and Verification group. In particular, I shall present recent work on CEGIS , a “counterexample-guided inductive synthesis” framework for sound synthesis tasks that are relevant for dynamical models, control problems, and software programs. I shall elucidate the ins&outs of the CEGIS framework, and display its workings on a few problems: synthesis of certificates for dynamical and control models; hybridisation of nonlinear dynamics for safety verification; and (time permitting) an application in real-time autonomy. Biography: Alessandro Abate is Professor of Verification and Control in the Department of Computer Science at the University of Oxford, where he was also Deputy Head. Earlier, he did research at Stanford University and at SRI International, and was an Assistant Professor at the Delft Center for Systems and Control, TU Delft. He received a Laurea degree from the University of Padua and MS/PhD at UC Berkeley. His research work spans logic, probability, control, and AI. This talk is part of the Control and Power Seminars series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listshow far back can the taxman go Dobinson Qalem Arfadia | Digital Marketing Agency Jakarta, IndonesiaOther talksGetting the best out of life Keynote Speech on Influence and persuasion Passivity-based control of underactuated surgical robots Contribution of Power Electronic Converters to Stability and Regulation of Future Electricity Networks Networked Control Systems with Communication Protocols: Challenges and Progress On the Policy Algebraic Equation in the Linear Quadratic Regulator problem |