HAS

Keyphrases

Publications

volume 174, 2015

Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014. HAS 174 (2015)

2014

2013

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

volume 124, 2013

Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. HAS 124 (2013)