Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Controls and Control Theory
Embedded Virtual Machines For Robust Wireless Control And Actuation, Miroslav Pajic, Rahul Mangharam
Embedded Virtual Machines For Robust Wireless Control And Actuation, Miroslav Pajic, Rahul Mangharam
Rahul Mangharam
Embedded wireless networks have largely focused on open-loop sensing and monitoring. To address actuation in closed-loop wireless control systems there is a strong need to re-think the communication architectures and protocols for reliability, coordination and control. As the links, nodes and topology of wireless systems are inherently unreliable, such time-critical and safety-critical applications require programming abstractions and runtime systems where the tasks are assigned to the sensors, actuators and controllers as a single component rather than statically mapping a set of tasks to a specific physical node at design time. To this end, we introduce the Embedded Virtual Machine (EVM), …
Performance Analysis And Validation Of A Recoverable Flight Control System In A Simulated Neutron Environment, Hong Zhang, W. Steven Gray, Oscar R. Gonzalez
Performance Analysis And Validation Of A Recoverable Flight Control System In A Simulated Neutron Environment, Hong Zhang, W. Steven Gray, Oscar R. Gonzalez
Electrical & Computer Engineering Faculty Publications
This paper introduces a class of stochastic hybrid models for the analysis of closed-loop control systems implemented with NASA's Recoverable Computer System. Such Recoverable Computer Systems have been proposed to insure reliable control performance in harsh environments. The stochastic hybrid models consist of either a stochastic finite-state automaton or a finite-state machine driven by a Markov input, which in turn drives a switched linear discrete-time dynamical system. Their stability and output tracking performance are analyzed using an extension of the existing theory for Markov jump-linear systems. For illustration, a stochastic hybrid model is used to calculate the tracking error performance …