


default search action
4th HAS 2014: Grenoble, France
- Manuela-Luminita Bujorianu, Rafael Wisniewski:
Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014. EPTCS 174, 2015 - Yi Deng, A. Agung Julius:
Safe Neighborhood Computation for Hybrid System Verification. 1-12 - Luminita Cristiana Totu
, Rafael Wisniewski, John Leth
:
Modeling Populations of Thermostatic Loads with Switching Rate Actuation. 13-21 - Takumi Akazaki, Ichiro Hasuo
, Kohei Suenaga
:
Input Synthesis for Sampled Data Systems by Program Logic. 22-39 - John Leth
, Rafael Wisniewski, Jakob Gulddahl Rasmussen
, Henrik Schiøler:
Stochastic Analysis of Synchronization in a Supermarket Refrigeration System. 40-50

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.