Please accept our apologies in case of message multiplication and feel
free to distribute to the potentially interested colleagues.
Dear Colleague,
The following lectures will be presented at the ETAPS2010 tutorial on
" Uncertainty Modeling in Cyber-Physical Systems":
· Cyber-physical systems: Quo vadis? (M. Bujorianu)
· Nano-systems: The next big thing will be really small! (M. Bujorianu)
· Controlling uncertainty in renewable energy systems (M. Bujorianu)
· Modelling physics/computation interaction by the hybrid
discrete/continuous paradigm (M. Bujorianu)
· Modelling a water cleaning facility using Hybrid Petri nets with
general transitions (A. Remke)
· Parametric reachability analysis of Hybrid Petri nets with general
transitions (A. Remke)
· Modelling networked automation systems using probabilistic hybrid
automata (T. Teige)
· Bounded model checking of probabilistic hybrid automata (T. Teige)
The tutorial will take place on 21st Marchÿ 2010 in Paphos, Cyprus.
http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/ETAPStutorial.htm
The normal registration fee is available until 7th March 2010. After
that date registration is still possible but an increased fee will
apply.
The lectures will be presented by a team of Young and enthusiastic
researchers (Anne Remke, University of Twente, NL; Tino Teige,
Oldenburg University, DE; Manuela Bujorianu, Manchester University, UK
- tutorial organizer) with experience in interdisciplinary research
combining formal methods, software verification, control engineering
and stochastic modelling.
The tutorial format is designed to allow the maximum interaction
between audience and speakers.
Key topics:
· Inter-disciplinary nanoscience
· Energy informatics
· Networked control systems
· Stochastic hybrid systems
· Hybrid Petri nets
· Bounded model checking
· Stochastic and parametric reachability analysis
Many thanks and hoping to see you in Paphos,
Manuela Bujorianu
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
