|
|
 |
|
NIA Formal Methods Seminar by Arturo Tejada |
|
Date: March 23, 2007
Time: 10:30am
Location: NIA, Rm 137
"Hybrid Jump Linear Systems: A New Modeling Framework
for Discrete-Time Stochastic Hybrid Systems"
Dr. Arturo Tejada, Systems Research Laboratory, Old Dominion University
In the past two decades, the number of applications that make use of supervisory algorithms to control complex continuous-time or discrete-time systems has increased steadily. Typical examples include air traffic management, digital control systems over networks, and flexible manufacturing systems. A common feature of these applications is the intermixing of the continuous dynamics of the controlled plant, and the logical and discrete dynamics, of the supervising algorithms. These so-called hybrid systems are the focus of much ongoing research. When the plant is a discrete-time process or is represented by one, there exist few mathematical models to study the effect of the supervising algorithms on the control system's performance.
This talk will summarize the work done towards mitigating this problem. In particular, it will cover Hybrid Jump Linear Systems, a new modeling framework for discrete-time stochastic hybrid systems, and the stability analysis tests developed for them. The capability of these models to study real-world applications will be demonstrated by presenting a hybrid jump linear system model of an AFTI-F16 flight controller deployed on a fault-tolerant computer with rollback and cold-restart capabilities, and studying its stability properties.
|
|
|
Home