Newsletter of the IEEE CSS TC on Hybrid Systems Issue 2 Conference Announcement Hybrid Systems: Computation and Control 2018 @ Porto, Portugal, 11-13 April 2018 - Submission deadline is October 6. 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 11th 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/ Conference Announcement 6th IFAC Conference on Analysis and Design of Hybrid Systems 2018 @ Oxford University, UK, July 11-13, 2018 - Submission deadline is in December. 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/ TC Announcement The TC contributed a regular column to IEEE Control Systems Magazine, which appeared in the April issue this year. A link to it is below. This column provides great exposure and is a good opportunity to let the wide CSS community know what is important and interesting about our TC activities. Link to published column: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7879941 TC Annual Column in IEEE Control Systems Magazine Call for contributions for Hybrid System entry @ Wikipedia.orgAt 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 We will have a TC meeting at the CDC in Melbourne. Based on already scheduled meetings and the conference schedule, Tuesday lunch could work well to have the meeting. I will send an official invite as the date approaches. In case you want to see what we discussed at the ACC, the slides presented are available at the TC website (http://ieeecss.org/tc/hybrid-systems).
