Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Trajectory-based Analysis and Controller Synthesis for Hybrid Systems

Back
Abstract:
I will present a trajectory-based perspective in solving safety/ reachability analysis and synthesis problems and fault diagnosability analysis in hybrid systems. The main tool used in obtaining the results is the concept of trajectory robustness, which is derived from the theory of approximate bisimulation. Trajectory robustness essentially provide a guarantee on how far the system’s state trajectories can deviate (in the sense) as a result of initial state variations. It further leads to the possibility of approximating the set of the system’s trajectories, which is infinite, with a finite set of trajectories. This fact, in turns, allows us to pose the above problems as finitely many finite problems that can be practically solved.

Type of Seminar:
IfA Seminar
Speaker:
Prof. Agung Julius
Department of Electrical, Computer, and Systems Engineering at the Rensselaer Polytechnic Institute, Troy, NY
Date/Time:
Jul 09, 2015   16:15
Location:

ETZ E 6, Gloriastr. 35
Contact Person:

Prof. Lygeros
File Download:

Request a copy of this publication.
Biographical Sketch:
A. Agung Julius joined the Department of Electrical, Computer, and Systems Engineering at the Rensselaer Polytechnic Institute as an Assistant Professor in December 2008. He earned the Ph.D. degree in applied mathematics from the University of Twente, The Netherlands in 2005. In 2005 – 2008, he was a Postdoctoral Researcher at the University of Pennsylvania.

Dr. Julius’ research interests include systems and control, systems biology, stochastic models in systems biology, control of biological systems, hybrid systems, and mathematical systems theory. Dr. Julius has published 21 peer-reviewed journal articles and over 60 peer-reviewed conference articles. He is a co-author of the Best Application Paper in the 10th International Conference on Ubiquitous Robots and Ambient Intelligence (URAI 2013), and a finalist for the Best Paper Award at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013). He received an NSF CAREER award in 2010.