![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.