Service to scientific community

§      Member IFAC TC 1.3 - Discrete Event and Hybrid Systems

§      Member IEEE, ACM

§      Workshop Co-Chair at FMA@FM, HAS, FMA@CDC, IM-CPS, CPSWEEK2010 workshop on hybrid systems

§      Special session Co-Chair at ADHS2009, MED2008, MED2007

§      Co-Editor of special issues at EPTCS and AMAI

§      Tutorials at QEST2007, ETAPS2010, SEFM2010

§      PC member: ADHS2012 , Sysis2012, AMAST2004

§      Member ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA)

Research  

Manuela research is highly interdisciplinary, merging computer science, control engineering and applied mathematics

New

·         Flight navigation under uncertainty -  through storm and ash clouds

·         Aerospace applications of stochastic reachability techniques: smartgrids and free flight.

·         Networks of hybrid systems with applications to power networks

Cross-, trans-, multi- and inter- disciplinary paradigms

Topics

               Stochastic hybrid systems

               Stochastic reachability analysis

               Trajectory design in uncertain physical environments

               Stochastic optimal control

               Uncertainty modelling

               Hilbertean formal methods

               Formal testing

               Viewpoint based system development

               Systems dependability

Forthcoming events

            HAS2012 the 2^nd edition of  ``Hybrid Autonomous Systems” – the ETAPS2012 satellite workshop

Recent events

            IM-CPS 2011  the 2^nd edition of International Symposium on Interdisciplinary Modelling of Cyber Physical Systems

            FIRE- an  International Research School on ``Formal and Interdisciplinary models in Resilience Engineering”

            FoRMA a tutorial workshop on ``Formal and Resilient Methods in Aerospace”

            FMA@CDC the 2^nd edition of FMA workshop will be affiliated with CDC'2010

            HAS 2011  : the ETAPS2011 satellite workshop on ``Hybrid Autonomous Systems”

            IM-CPS 2010 an International Symposium on Interdisciplinary Modelling of Cyber Physical SystemsSEFM'2010  tutorial on ``Multi-dimensional Co-engineering of Autonomous Systems

            CPSWEEK satellite workshop on ``Modeling and Verification of Uncertain Hybrid Systems”

            ETAPS2010 tutorial on Probabilistic modeling of uncertain cyber-physical systems

            One-day Conference on Mathematics and Industry

            FMA  `` Formal Methods for Aerospace” workshop series

Expertise

                         Safety and risk assessment in air traffic control

                         Satellite modeling, control and co-ordination

                         Modeling and control of wind turbines

                         Systems engineering using UML and SysML

                         Automation

                         Formal methods

                         Gene regulatory networks

                         Early warning of seismic hazards

                         Probabilistic model checking

                         Collaborative control of aerial vehicles

                         Nanosystems

Industry

            Areas: air traffic control, risk assessment, aerospace engineering

           Organisations: NLR (contact Dr. Henk Blom), NASA Ames (contact Dr. Corina Pasareanu), United Technologies Research Center (contact Dr. Allesandro Pinto), NASA JPL (contact Dr. Klaus Havelund), CERFACS (contact Dr. Martin Fuchs)