Abstract is missing.
- Resource-Aware Control and Dynamic Scheduling in CPSW. P. M. H. Heemels. 1-7 [doi]
- Current Challenges in the Verification of Hybrid SystemsStefan Schupp, Erika Ábrahám, Xin Chen 0002, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. 8-24 [doi]
- Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving SystemsSebastian Siegl, Martin Russer. 25-39 [doi]
- Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS ProjectSebastian Engell, Radoslav Paulen, Michel A. Reniers, Christian Sonntag, Haydn Thompson. 40-55 [doi]
- A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control SystemsBenjamin Beichler, Thorsten Schulz, Christian Haubelt, Frank Golatowski. 56-66 [doi]
- A Modelling Framework for Cyber-Physical System ResilienceManuela L. Bujorianu, Nir Piterman. 67-82 [doi]
- Recharging Probably Keeps Batteries AliveHolger Hermanns, Jan Krcál, Gilles Nies. 83-98 [doi]
- Fault Localization of Energy Consumption Behavior Using Maximum SatisfiabilityShin Nakajima, Si-Mohamed Lamraoui. 99-115 [doi]
- Hybrid Secure Data Aggregation in Wireless Sensor NetworksKeyur Parmar, Devesh C. Jinwala. 116-131 [doi]
- Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential EquationsMuhammad Usman Sanwal, Osman Hasan. 132-146 [doi]