Hybride Systeme
Kontakt
Leitung
Prof. Dr. M. Fränzle
Raum: D119/120 (OFFIS)
Tel.: +49-441-9722 566
Sekretariat
Kathrin Kuper
Raum: D121 (OFFIS)
Tel.: +49-441-9722 501
Fax: +49-441-9722 502
Hybride Systeme
![[Titelbild]](uploads/RTEmagicC_ea6d27e215.jpg.jpg)
Aktuelles
- 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018) in Porto
- 20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017) in Pittsburgh
- 2nd AVACS Autumn School on "Automatic Verification and Analysis of Complex Systems" in Oldenburg, 30.09.2015 - 02.10.2015
- Stiftung der Ingenieurkammer verleiht Förderpreis an Dr.-Ing. Andreas Eggers
Direct Links
- Download iSAT or its predecessor HySAT
- Download SiSAT
- First AVACS Spring School on "Automatic Verification and Analysis of Complex Systems" in Oldenburg, 15-19 March 2010
- Handouts CAV07 Tutorial on Verification of Hybrid Systems
- Small Workshop on Interval Methods (SWIM) 2012 in Oldenburg
- Sonderforschungsbereich/Transregio 14 AVACS