Login / Signup
HAS
2013
2015
2013
2015
Keyphrases
Publications
volume 174, 2015
Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014.
HAS
174 (2015)
2014
John Leth
,
Rafael Wisniewski
,
Jakob Gulddahl Rasmussen
,
Henrik Schiøler
Stochastic Analysis of Synchronization in a Supermarket Refrigeration System.
HAS
(2014)
Takumi Akazaki
,
Ichiro Hasuo
,
Kohei Suenaga
Input Synthesis for Sampled Data Systems by Program Logic.
HAS
(2014)
Yi Deng
,
A. Agung Julius
Safe Neighborhood Computation for Hybrid System Verification.
HAS
(2014)
Luminita Cristiana Totu
,
Rafael Wisniewski
,
John Leth
Modeling Populations of Thermostatic Loads with Switching Rate Actuation.
HAS
(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)