Modeling and Verification of Uncertain Hybrid Systems

A Workshop affiliated with CPSWEEK 2010

Stockholm, 12^th of April 2010

Program Location On site registration

Organizers Manuela Bujorianu, Centre for Interdisciplinary System Analysis - CICADA University of Manchester, UK Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Steering Committee Prof. David Broomhead, University of Manchester, UK Manuela Bujorianu, University of Manchester, UK Prof. Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany André Platzer Carnegie Mellon University, USA Verena Wolf Saarland University, Saarbrücken, Germany

Speakers Luca Bortolussi (University of Trieste, Italy) Hybrid Semantics of Stochastic Process Algebras Manuela Bujorianu Autonomous Stochastic Hybrid Systems Martin Fränzle (Carl von Ossietzky Universität Oldenburg, Germany) Analysis of Probabilistic Hybrid Systems by Means of Constraint Solving Martin Fuchs (CERFACS, France) Higher dimensional uncertainty modeling with polyhedral clouds Koeppl Heinz (EPF, Lausanne, Switzerland) A Model-Based End-to-End Tool Chain for the Probabilistic Analysis of Complex Systems Alessandro D'Innocenzo (University o f L'Aquila, Italy) Probabilistic Model checking of Stochastic Hybrid Systems by Abstraction: application to air traffic management Xenofon D. Koutsoukos (VanderBilt University, USA) Multilevel Splitting for Reachability Analysis of Stochastic Hybrid Systems Alexandru Mereacre (RWTH Aachen, Germany) Model Checking Continuous-Time Markov Chains Against Timed Automata Anne Remke (University of Twente, the Netherlands) Hybrid Petri Nets with Costs for Dependability Evaluation Walid Taha (Rice University, USA) What Makes Objects Fly, Bounce, and Break? Paolo Zuliani (CMU, USA) Verification Issues for Stochastic Hybrid Systems

You are here: Mathematics > staff members > Dr. Manuela Bujorianu > CPSWEEK Workshop

Copyright © Manuela Bujorianu, March 2010