Published: 22nd January 2015|
|Safe Neighborhood Computation for Hybrid System Verification Yi Deng and Agung Julius||1|
|Modeling Populations of Thermostatic Loads with Switching Rate Actuation Luminita Cristiana Totu, Rafael Wisniewski and John Leth||13|
|Input Synthesis for Sampled Data Systems by Program Logic Takumi Akazaki, Ichiro Hasuo and Kohei Suenaga||22|
|Stochastic Analysis of Synchronization in a Supermarket Refrigeration System John Leth, Rafael Wisniewski, Jakob Rasmussen and Henrik Schioler||40|
This volume contains proceedings of the Fourth Workshop on Hybrid Autonomous Systems (HAS 2014). The workshop was held on April 12th in 2014 in Grenoble as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2014).
The workshop is focused on autonomous systems. Such systems must operate with limited human intervention in a changing environment and must be able to compensate for significant system failures without external intervention. Autonomous systems comprise collaborating entities, with both physical interaction and information exchange. Therefore, the hybrid discrete-continuous representation constitutes an appropriate model of autonomous systems. Hybrid systems have behaviours characterised by the interaction between continuous and discrete dynamics and research in the area is driven by several school of thoughts.
One approach is mainly focused on applications to automation systems and the models and methods are centred on the concept of hybrid automaton (deterministic or probabilistic). A distinct school of thought interprets hybrid systems as control systems with regime change. Such systems are highly adaptive and suitable for modelling autonomic behaviours and the most prominent models of this approach are the stochastic hybrid systems and the mixed logical and dynamical systems. Another sound approach to deal with the inherent heterogeneity of autonomous systems is the one of discrete abstractions. In particular, discrete abstractions techniques allow the use of formal methods to solve complex control problems in which software and hardware interact with the physical world, through non-ideal communication networks.
There is a clear research opportunity to combine these approaches for developing models, methods, techniques, methodologies, tools and environments for autonomous systems engineering. The workshop brings together researchers interested in all aspects of autonomy and resilience of hybrid systems.
In particular, the workshop focused on:
The Programme Committee of HAS 2014 was composed by:
The programme committee selected four regular papers, which comprise the current volume. Additionally, the workshop programme included three keynote talks:
We would like to thank all the authors, the invited speakers, the programme committee and the external referees for their valuable contributions.
Manuela Bujorianu and Rafael Wisniewski
|Programme Co-chairs||December 2014|