BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Hybrid Systems Jigsaw: Bringing Together Computer Science\, Dy
 namical Systems and Control Engineering. - Eva Navarro López\, School of 
 Computer Science\, Manchester.
DTSTART:20091204T140000Z
DTEND:20091204T150000Z
UID:TALK21292@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:Hybrid systems provide alternative ways of interpreting and so
 lving many complex engineering systems. Generally speaking\, hybrid dynami
 cal systems  consist of continuous-type and discrete-event dynamics. They 
 bring together formal computational tools\, dynamical systems theory and c
 ontrol engineering methodologies. Consequently\, this framework gives rise
  to models\, behaviour analysis tools\, stability definitions\, control sc
 hemes\, numerical methods and algorithms for simulation which are novel\, 
 and entail a better formulation of the system interaction with the environ
 ment.\n\nIn this talk\, I will present an overview of hybrid systems and t
 he key facts about their modelling\, analysis and control. In addition\, I
  will present some of my current research in the abstraction and formal ve
 rification of stability properties and complex dynamical behaviours of dis
 continuous control systems. Discontinuous systems are ubiquitous in engine
 ering applications and are often changeable and unpredictable in behaviour
 . This has to be taken into account in order to ensure good performance an
 d quality in the control design. I will show several applications in which
  I have been working.\n\nCan we obtain a discrete abstraction of the diffe
 rent dynamical behaviours of systems for the detection and prevention of h
 armful dynamics? Is it useful to redefine dynamical properties from a\ncom
 putational viewpoint? How can we integrate the formal verification of thes
 e properties in a feedback control loop? There is a long way to go before 
 we can answer these questions satisfactorily.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR