NEWSLETTER
NEWSLETTER of the IEEE CSS TC on Hybrid Systems
Issue 3
Online version available at http://hybrid-systems.
Conference Announcement: 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/
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.
TC Announcement: Call for contributions for Hybrid System entry @ Wikipedia.org