Published: 22nd August 2013
DOI: 10.4204/EPTCS.124
ISSN: 2075-2180

EPTCS 124

Proceedings Third International Workshop on
Hybrid Autonomous Systems
Rome, 17th March 2013

Edited by: Luca Bortolussi, Manuela L. Bujorianu and Giordano Pola

Preface
Invited Presentation: Monitoring with uncertainty
Ezio Bartocci and Radu Grosu
1
Invited Presentation: Combinatorial Abstractions of Dynamical Systems
Rafael Wisniewski
5
Invited Presentation: Networked Embedded Control Systems: from Modelling to Implementation
Maria Domenica Di Benedetto and Giordano Pola
9
An Integrated Framework for Diagnosis and Prognosis of Hybrid Systems
Elodie Chanthery and Pauline Ribot
14
Completeness of Lyapunov Abstraction
Rafael Wisniewski and Christoffer Sloth
26
Approximated Symbolic Computations over Hybrid Automata
Alberto Casagrande, Tommaso Dreossi and Carla Piazza
43
World Automata: a compositional approach to model implicit communication in hierarchical Hybrid Systems
Marta Capiluppi and Roberto Segala
58
HyLTL: a temporal logic for model checking hybrid systems
Davide Bresolin
73
Sampling-based Decentralized Monitoring for Networked Embedded Systems
Ezio Bartocci
85
A stochastic hybrid model of a biological filter
Andrea Ocone and Guido Sanguinetti
100
A Simple Stochastic Differential Equation with Discontinuous Drift
Maria Simonsen, John Leth, Henrik Schioler and Horia Cornean
109

Preface

This volume contains the proceedings of the Third Workshop on Hybrid Autonomous Systems (HAS 2013), held in Rome, Italy, on March 17, 2013. HAS 2013 is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013).

The workshop is focused on autonomous systems, for which there has been an increasing interest both in industry and academia. 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. 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 focuses on:

The Programme Committee of HAS 2013 was composed by:

The programme committee selected eight regular papers and two presentation-only papers. All regular papers were reviewed by at least three reviewers. The workshop programme includes three keynote speakers: Radu Grosu (Vienna University of Technology, Austria), Maria Domenica di Benedetto (University of L'Aquila), and Rafael Wisniewski (Aalborg University, Denmark). This volume includes accepted papers together with extended abstracts from presentations of Radu Grosu, Maria Domenica di Benedetto, and Rafael Wisniewski.

We would like to thank all the authors, the invited speakers, the programme committee and the external referees for their valuable contributions.

July 2013

Luca Bortolussi, Manuela Bujorianu and Giordano Pola
Programme Co-chairs