Abstract is missing.
- Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical SystemsIman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani. 3-27 [doi]
- Challenges in Digital Twin Development for Cyber-Physical Production SystemsHeeJong Park, Arvind Easwaran, Sidharta Andalam. 28-48 [doi]
- Subjecting Legacy Simulink Models to Timing SpecificationsAndreas Naderlinger. 51-70 [doi]
- Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil. 71-90 [doi]
- A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)Andreas Müller 0015, Stefan Mitsch, Wieland Schwinger, André Platzer. 91-110 [doi]
- Guaranteed Control Synthesis for Continuous Systems in Uppaal TigaKim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist. 113-133 [doi]
- CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid SystemsManuela L. Bujorianu. 134-153 [doi]
- Controlled Recurrence of a Biped with TorsoAdrien Le Coënt, Laurent Fribourg. 154-169 [doi]
- A Quantitative Metric Temporal Logic for Execution-Time Constrained VerificationSascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp. 170-189 [doi]
- Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HITSofia Amador Nelke, Michael Winokur. 193-196 [doi]
- Computers Interacting with the Physical World: A First-Year CourseRoger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever. 197-205 [doi]
- CPS/IoT Ecosystem: A Platform for Research and EducationHaris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu. 206-213 [doi]
- MicroITS: A Scaled-Down ITS PlatformJudicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha. 214-221 [doi]
- Further Experiences Teaching an FPGA-Based Embedded Systems ClassStephen A. Edwards. 222-230 [doi]