CPS Large: Science of Integration for Cyber-Physical Systems
In Collaboration with Vanderbilt, Maryland, GM
Summary
The objective of this research is to develop new foundations of composition in heterogeneous systems, to apply these foundations in a new generation of tools for system integration, and to validate the results in experiments using automotive and avionics System-of-Systems experimental platforms. The approach is to exploit simplification strategies: to develop theories, methods, and tools to assist in inter-layer decoupling.
Intellectual merit. The research program has three focus areas: (1) theory of compositionality in heterogeneous systems, (2) tools and tool architectures for system integration, and (3) systems/ experimental research. The project develops and deploys theories and methods for inter-layer decoupling that prevent or decrease the formation of intractable system-wide interdependences and maintain compositionality at each layer for carefully selected, essential system properties. Compositionality in tools is sought by exploring semantic foundations for model-based design. Systems/experimental research is conducted in collaboration with General Motors Global R&D (GM) and focuses on electric car platforms.
Broader impact. The project is contributing to the cost effective development and deployment of many safety and security-critical cyber-physical systems, ranging from medical devices to transportation, to defense and avionics. The participating institutions seek to complement the 30-year-old conventional curriculum in systems science with one that admits computation as a primary concept. The curriculum changes will be aggressively promoted through a process of workshops and textbook preparation.
CPS Virtual Organization (CPS-VO)
PUBLICATIONS
Cyber Physical Systems & Passivity
- Event-Triggered Real-Time Scheduling For Stabilization of Passive/Output Feedback Passive Systems - Yu, Antsaklis - 2011 ACC - 2011
- Risk-Sensitive Control under a Class of Denial-of-Service Attack Models - Befekadu, Gupta, Antsaklis - 2011 ACC - 2011
- Event-Triggered Cooperative Control For Multi-Agent Systems Based On Passivity Analysis - Yu, Zhu, Antsaklis - ISIS Technical Report - 2010
- Robust Self-Triggered Real-Time Scheduling For Stabilization Of Passive/Dissipative Systems - Yu, Antsaklis - ISIS Technical Report - 2010
- Event-Triggered/Self-Triggered Real-Time Scheduling For Stabilization Of Passive/Dissipative Systems - Yu, Antsaklis - ISIS Technical Report - 2010
- Stability of Networked Passive Switched Systems - McCourt, Antsaklis - CDC 2010
- A Passivity Measure Of Systems In Cascade Based On Passivity Indices - Yu, Antsaklis - CDC 2010
- Symmetry in the Design of Large-scale Complex Control Systems: Some Initial Results using Dissipativity and Lyapunov Stability - Wu, Antsaklis - MED '10 - 2010
- Passivity and L2 Stability of Networked Dissipative Systems - Yu, Antsaklis - 8th IEEE ICCA - 2010
- Passivity-Based Output Synchronization of Networked Euler-Lagrange Systems Subject to Nonholonomic Constraints - Yu, Antsaklis - 2010 ACC - 2010
- Control Design for Switched Systems Using Passivity Indices - McCourt, Antsaklis - 2010 ACC - 2010
-
- Time Domain and Frequency Domain Conditions For Passivity - Kottenstette, Antsaklis - 2010 ACC - 2010
- Digital Control of Multiple Discrete Passive Plants over Networks - Kottenstette, Hall, Koutsoukos, Antsaklis, Sztipanovits - ISIS Technical Report - Submitted
- Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays - Kottenstette, Koutsoukos, Hall, Antsaklis, Sztipanovits - RTTS 2008 - 2008
- Wireless Control of Passive Systems Subject to Actuator Constraints - Kottenstette, Antsaklis - CDC '08 - 2008
- Passivity-Based Control Design of Cyber-Physical Systems - Koutsoukos, Kottenstette, Hall , Antsaklis, Sztipanovits - CPS CA'08 - 2008
- Control of Multiple Networked Passive Plants with Delays and Data Dropouts - Kottenstette, Antsaklis - 2008 ACC - 2008
- Wireless Digital Control of Continuous Passive Plants Over Token Ring Networks - Kottenstette, Antsaklis - IJRNC - 2008
- Stable Digital Control Networks for Continuous Passive Plants Which Are Subject to Delays and Data Dropouts - Kottenstette, Antsaklis - CDC '07 - 2007
Systems with Symmetries