The IFAC Conference on Analysis and Design of Hybrid Systems brings together researchers and practitioners in the area of hybrid systems, with backgrounds in control, computer science, and operations research, to provide a forum for discussing and presenting recent results in the fields of hybrid and cyber-physical systems.
ADHS 2018 will be held at the Department of Computer Science, University of Oxford.
ADHS will be hosted within FLOC 2018, and will precede CAV 2018.
ADHS has already a long and rich history. The previous ADHS were held in St Malo, France (2003), Alghero, Italy (2006), Zaragoza, Spain (2009), Eindhoven, The Netherlands (2012), and Atlanta, GA, USA (2015). In addition, the ADHS series was preceded by the successful conference series on Automation Of Mixed Processes: ADPM 92 in Paris (France), ADPM 94 in Brussels (Belgium), ADPM 98 in Reims (France) and ADPM 2000 in Dortmund (Germany).
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 theoretical as well as applied research papers in the area, both as regular papers, and as tools papers, and case studies. We welcome articles 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.