Newsletter of the IEEE CSS TC on Hybrid Systems Issue 3 Conference Announcement The 6th IFAC Conference on Analysis and Design of Hybrid Systems 2018 @ Oxford University, UK, July 11-13, 2018 - Submission deadline is December 8, 2017. ADHS 2018 takes place as a workshop of the Conference on Computer-Aided Verification (CAV 2018), and within FLOC 2018. The conference happens under the auspices of IFAC and is sponsored by the IFAC Technical Committee on Discrete Event and Hybrid Systems. Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and implementation. We solicit papers and invited session proposals describing theoretical or applied research in the area. We also welcome papers describing tools, reporting case studies or connecting the cognate fields of control theory and formal verification. Contributions are encouraged on applications of hybrid methods in various fields, such as automotive, avionics, energy and power, mobile and autonomous robotics, the process and manufacture industry, transportation and infrastructure networks, communication networks and networked control systems, cyber-physical systems, safety-critical systems, systems and synthetic biology. For more details, go to http://www.cs.ox.ac.uk/conferences/ADHS18/ Conference Announcement Hybrid Systems: Computation and Control 2018 @ Porto, Portugal, 11-13 April 2018 Contributed by M. Prandini (Politecnico di Milano) HSCC 2018 is the 21st in a series of single-track conferences for rigorous interdisciplinary approaches to analysis and control of dynamical systems with an emphasis on computational aspects. HSCC 2018 is part of the 11st Cyber Physical Systems Week (CPS Week) alongside the International Conference on Cyber-Physical Systems (ICCPS), International Conference on the Internet of Things, Design and Implementation (IoTDI), the International Conference on Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), and additional CPS-related workshops. Hybrid Systems: Computation and Control (HSCC) focuses on original research that involves concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid systems with an emphasis on computational aspects. By drawing on strategies from computation and control, the hybrid systems field offers techniques that are applicable to both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Papers in the conference are expected to range over a wide spectrum of topics from theoretical results to practical considerations, and from academic research to industrial adoption. Topics of interest cover, but are not limited to, the following aspects of the hybrid systems field: - Mathematical foundations, computability and complexity - Analysis, verification, validation, and testing - Modeling paradigms and techniques - Design, synthesis, planning, and control - Programming and specification languages - Network science and network-based control - Security, privacy, and resiliency in cyber-physical systems with a focus on computation and control - Artificial intelligence and machine learning in control algorithms - Software tools for above topics Applications and industrial case studies in: automotive, transportation, autonomous systems, avionics, energy and power, robotics, medical devices, manufacturing, systems and synthetic biology, models for the life sciences, and other related areas For more details, go to https://www.hscc2018.deib.polimi.it/ Workshop Announcement CDC 2017 Workshop Contributed by J. Poveda (UC Santa Barbara) We are organizing for the upcoming CDC a workshop on Deterministic and Stochastic Hybrid Methods for Robust Learning and Optimization in Dynamical Systems. I would appreciate if you could please help us to distribute the following announcement among your students and colleagues at UCSC. Thank you very much in advance. We are organizing a workshop for the upcoming IEEE Conference on Decision and Control, which will take place in Melbourne, Australia, from December 11th to December 15th. The topic of the workshop revolves around the design and analysis of novel deterministic and stochastic hybrid algorithms for centralized and distributed model-free optimization, learning, and estimation in dynamical systems (see details below). Interested participants are encouraged to register as soon as possible, as the final list of workshops will be determined around mid-October. The organizers and speakers include Andrew Teel, Mouhacine Benosman, Kyriakos Vamvoudakis, Chris Manzie, Martin Guay, and Jorge I. Poveda. The complete program of the workshop can be found on the webpage: https://sites.google.com/site/jorgeivanpoveda/home/cdc_2017_workshop Conference Announcement and Call for Invited Sessions CCTA 2018 The IEEE Conference on Control Technology and Applications is one of the main CSS conferences, and the next CCTA2018 will be held in Copenhagen, 21-24 August 2018. The inaugural CCTA2017 presented a very high quality program, and we aim to provide a similar high quality conference to the CSS in 2018. The organizers hope that our TC organizes invited session on Hybrid Systems. Please let me know if you are interested in organizing a session at the CCTA 2018. Request for information from TC members Submission of TC-related activities — Deadline November 1 I’m preparing a TC report for IEEE CSS and I would appreciate if you report your TC-related activities to me via this link by November 1. Thank you in advance for your input. TC Announcement Call for contributions for Hybrid System entry @ Wikipedia.org At previous TC meetings, we have discussed the idea of updating the hybrid systems wikipedia.org entry at https://en.wikipedia.org/wiki/Hybrid_system as a coordinated TC effort. With Wikipedia.org being a first stop for many research queries, it would be important that our field is well represented in that entry, and that is not currently the case. With the help of co-chair Alessandro Abate, the TC is organizing rewriting that entry and below is a tentative table of contents. 1 Overview 2 Modeling Frameworks 2.1 Hybrid Automata 2.2 Hybrid Inclusions 2.3 (and so on) 3 Analysis Tools 3.1 Viability and Forward Invariance 3.2 Temporal Logic 3.3 Lyapunov Stability 3.4 Verification 3.5 Robustness 4 Control Synthesis Tools 5 Simulation, Validation, Testing tools 6 Hybrid Systems Applications 7 Current Challenges 8 Further reading 9 References If you are interested in contributing to this effort, please email Alessandro and myself indicating the topic you would like to contribute with and we will send you instructions. The length of the entry is up to the writer, but should certainly include references to articles where more details are available. TC Announcement Meeting at CDC 2017 -- Deadline for RSVP is November 15 We will have a TC meeting at the CDC in Melbourne. Based on already scheduled meetings and the conference schedule, our meeting will be on Wednesday, December 13, from 12:00 PM to 1:30 PM. Please RSVP at this link by Nov 15. Lunch will be provided. I will send a tentative agenda a few days before the meeting. I hope to see you there.