250 likes | 375 Views
This paper by Geir E. Dullerud from the University of Illinois explores the performance of automata-switched systems, focusing on how data-based systems can achieve "good average behavior." It discusses practical applications in cyber-physical systems such as autonomous vehicles, medical systems, and coordinated vehicle teams for both military and civilian tasks. The discussion includes the implications of random latencies and hybrid systems, as well as the design features necessary for effective control and coordination in complex environments.
E N D
Automata-Switched Systems Geir E. Dullerud University of Illinois legend.me.uiuc.edu/dullerud ARTIST2 May 31, 2007
System Performance • Data-based systems: “good average behavior” • ski slopes: least congested runs • data networks: CNN • Cyber-physical systems: “good behavior w.p. 1” • cars on the highway • medical systems
autonomous vehicles robotics General application domain Motivation:
autonomous vehicles fulfillment system Example: Kiva Systems Motivation: Video courtesy Raffaello D’Andrea, Kiva Systems
UAVs Teams Cooperative vehicle teams: • Military: targets, refueling, safe-zones; symmetric • Civilian: security, firefighting, distributed robotics
automaton #1 automaton #2 Design for nonlinear hybrid systems • information topology • discrete and continuous states • random latencies latencies Model features: automaton #3 General framework
System Performance • Data-based systems: “good average behavior” • ski slopes: least congested runs • data networks: CNN • Cyber-physical systems: “good behavior w.p. 1” • cars on the highway • medical systems
1 2 Hybrid systems: Switched linear Nonlinear hybrid system Switched linear system automaton automaton 1 2 J-W. Lee and G.E. Dullerud, ``Uniform stabilization of discrete-time switched and Markovian jump linear system'', Automatica, 2006.
1 2 Random latency: Markovian jump linear systems Networked loop MJLS nominal system Markov process measurement latency controller J-W. Lee and G.E. Dullerud, ``Optimal Disturbance Attenuationfor Discrete-Time Switched and Markovian Jump Linear Systems,“ to appear SIAM Journal of Control and Optimization, 2006.
Summary • Switched linear systems and MJLS • HoTDeC
Automata-Switched Systems Geir E. Dullerud University of Illinois legend.me.uiuc.edu/dullerud ARTIST2 May 31, 2007