GRASP Student Seminar Series: Spring 2006

February 8, 5:00 PM, 307 Levine Hall

Alessandro D'Innocenzo

"Observability of Hybrid Automata by Abstraction"

Abstract: In this work, we deal with the observability problem of a class of Hybrid Systems whose output is a timed string on a finite alphabet. We determine under which conditions it is always possible to immediately detect, using the observed output, when the system enters a given discrete state. We illustrate how to construct a Timed Automaton that is an abstraction of the given Hybrid System, and that preserves its observability properties. Moreover, we propose a verification algorithm with polynomial complexity for checking the observability of the Timed Automaton, and a constructive procedure for an observer of the discrete state.

Biography: Alessandro is a PhD student in the Department of Electrical Engineering and Computer Science at the University of L'Aquila (Italy). He has been working in the GRASP Lab as a visiting scholar, in the research team of Prof. George J. Pappas. He is at present involved in the HYCON project.


Full Seminar schedule...

GRASP Laboratory
Site maintained by graspadm@grasp.cis.upenn.edu
Last update:1 February, 2006