Abstract: We describe collaborative research between Columbia University and the University of Texas at Austin, under CNS-1239134 and 1239136. Our goal is to investigate and demonstrate the capabilities of hybrid computers, combining both discrete and continuous computation, in the context of cyber-physical systems. We combine the continuous and discrete models of computation in order to make possible higher energy efficiency, higher speed, and better numerical convergence in the computation involved in such systems.

INDIN 2015 IEEE International Conference on Industrial Informatics 22-24 July 2015, Cambridge, UK Sponsored by: IEEE Industrial Electronics Society and Anglia Ruskin University, Cambridge, UK Technical co-sponsor: Institution of Engineering and Technology, UK The INDIN Conference is co-organised by Anglia Ruskin University and EEE Industrial Electronics Society and technically co-sponsored by the Institute of Engineering and Technology.

Second International Workshop on Robotic Sensor Networks part of CPSWEEK Recent developments in sensing and actuation technology, along with the miniaturization of computing and communication, have led to the development of commodity robot technology such as hobby drones and robot toolkits. These platforms are bringing sensing and actuation at places where traditional technology does not reach; for example, for aerial pollution monitoring or for disaster management in remote areas.

11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems April 14, 2015 (tbc)  |  Auckland, New Zealand

The ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series.

ICINCO 2015 will be held in conjunction with ICETE 2015, ICSOFT 2015, SIMULTECH 2015 and DATA 2015. Registration to ICINCO allows free access to the ICETE, ICSOFT, SIMULTECH and DATA conferences (as a non-speaker).

Second International Workshop on the Swarm at the Edge of the Cloud (SWEC) will be held at CPSWEEK, April 13, 2015 Organizers General Chair: Alberto Sangiovanni-Vincentelli, UC Berkeley Program Co-Chairs: Roozbeh Jafari, UT Dallas, Anthony Rowe, CMU Logistics Co-Chairs: Miroslav Pajic, U. Pennsylvania, Armin Wasicek, UC Berkeley Description

10th Workshop on Model-Based Testing  will be held April 18, 2015, London, UK Satellite workshop of ETAPS 2015 MBT workshop 2015 celebrates its 10th anniversary. We invite you to join academicians and MBT practitioners to share the vision of the challenges that MBT faces, new directions in model-based verification and testing, and the ways to integrate MBT and advanced verification techniques in engineering and industrial practice.

The 5th International Workshop on Product LinE Approaches in Software Engineering will be held in conjunction with the 37th International Conference on Software Engineering (ICSE 2015) on May 19, 2015

Abstract: One of the most important challenges in the design and deployment of Cyber-Physical Systems is how to formally guarantee that they are amenable to effective human control. This is a challenging problem not only because of the operational changes and increasing complexity of future CPS but also because of the nonlinear nature of the human-CPS system under realistic assumptions.