Toward Continuous State–Space Regulation of Coupled Cyber–Physical Systems
- 15 August 2011
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 100 (1), 60-74
- https://doi.org/10.1109/jproc.2011.2161239
Abstract
Cyber-physical system (CPS) research aims to integrate physical and computational models in a manner that outperforms a system in which the two models are kept separate. CPSs can be generated by either folding properties of the physics-based system into a discrete modeling paradigm or vice versa. This paper studies the latter by abstracting execution rate of a real-time feedback control task into a continuous state-space form traditionally employed for physics-based systems. We propose coupling the two models in a linear systems framework and study the impact of this coupling applied to a single degree of freedom second-order oscillator as well as an unstable inverted pendulum, both regulated with an appropriately designed linear quadratic regulator (LQR). Our results illustrate the utility of the proposed abstraction and controller design as a means of coregulating cyber and physical states in real time.Keywords
This publication has 17 references indexed in Scilit:
- Anytime Control Algorithms for Embedded Real-Time SystemsLecture Notes in Computer Science, 2008
- Real Time Scheduling Theory: A Historical PerspectiveReal-Time Systems, 2004
- Anytime Control Algorithm: Model Reduction ApproachJournal of Guidance, Control, and Dynamics, 2004
- Time-delay systems: an overview of some recent advances and open problemsAutomatica, 2003
- Scheduling and feedback co-design for networked control systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Stability of networked control systemsIEEE Control Systems, 2001
- A feedback scheduler for real-time controller tasksControl Engineering Practice, 2000
- Synthesizing controllers for nonlinear hybrid systemsLecture Notes in Computer Science, 1998
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- Models for hybrid systems: Automata, topologies, controllability, observabilityLecture Notes in Computer Science, 1993