CALL FOR PARTICIPATION SNR 2017 ========
3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis April 22, 2017, Uppsala, Sweden Affiliated with ETAPS 2017 http://snr2017.pages.ist.ac.at/ Topics ===== The scope of the workshop includes, but is not restricted to, the following topics: * Reachability analysis * Flow-pipe construction; symbolic state set representations * Logical frameworks for reasoning * Bounded model checking * Automated deduction * Invariant generation * Symbolic execution * Trajectory generation; counterexample computation * Abstraction techniques * Reliable integration * Simulation * Reachability analysis for planning and synthesis * Domain-specific approaches in biology, robotics, etc. * Stochastic/probabilistic hybrid systems Registration ========== http://www.etaps.org/index.php/2017/registration Invited talks ============ Christoph Grimm (Technische Universität Kaiserslautern, Germany) Towards Verification of Uncertain Cyber-Physical Systems Edward A. Lee (University of California at Berkeley, USA) Fundamental Limits of Cyber-Physical and Hybrid System Modeling Program ======== 9:00-10:00 Session 1: Uncertainty (chair: Sergiy Bogomolov) 9:00-10:00 Invited talk Christoph Grimm. Towards Verification of Uncertain Cyber-Physical Systems 10:00-10:30 Coffee break 10:30-12:30 Session 2: Synthesis and Analysis (chair: Walid Taha) 10:30-11:00 Adrien Le Coënt, Florian De Vuyst, Ludovic Chamoin and Laurent Fribourg. Guaranteed Control Synthesis of Nonlinear Switched Systems using Euler Method 11:00-11:30 Anna Lukina, Josef Widder and Radu Grosu. Synthesis of Optimal Plans for Process Synchronization in the Presence of Faults 11:30-12:00 Benoît Desrochers and Luc Jaulin. Minkowski Operation of Sets with Application to Robot Localization 12:00-12:30 Ievgen Ivanov. On the Underapproximation of Reach Sets of Abstract Continuous-time Systems 12:30-14:00 Lunch break 14:00-15:30 Session 3: Modelling (chair: Erika Abraham) 14:00-15:00 Invited talk Edward A. Lee. Fundamental Limits of Cyber-Physical and Hybrid System Modeling 15:00-15:30 Yingfu Zeng, Ferenc Agoston Bartha and Walid Taha. Compile-Time Extensions to Hybrid ODEs 15:30-16:00 Coffee break 16:00-17:30 Session 4: Tools (chair: Eugenio Moggi) 16:00-16:30 Nathan Fulton. Reachability Analysis in the KeYmaera X Theorem Prover 16:30-17:00 Stefan Schupp. HyPro: A C++ Library for State Set Representations for Hybrid Systems Reachability Analysis
---- [[ 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] ]]
