Abstracts of Invited Presentations.- The Mathematics of Matter and the Mathematics of Mind.- A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal.- Developing Home Robotics Products: Challenges and Lessons Learned.- Regular Contributions.- Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.- Reachability Analysis of Nonlinear Systems Using Conservative Approximation.- Mode Reconstruction for Source Coding and Multi-modal Control.- Hybrid Control Design for a Wheeled Mobile Robot.- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems.- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions.- A Greedy Approach to Identification of Piecewise Affine Models.- A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.- Reachability Questions in Piecewise Deterministic Markov Processes.- Automatic Verification of a Turbogas Control System with the Mur? Verifier.- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System.- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators.- Conditions of Optimal Classification for Piecewise Affine Regression.- Approximate Stabilisation of Uncertain Hybrid Systems.- Efficient Mode Enumeration of Compositional Hybrid Systems.- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.- Modelling, Well-Posedness, and Stability of Switched Electrical Networks.- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach.- On Systematic Simulation of Open Continuous Systems.- Estimation of Distributed Hybrid Systems Using Particle Filtering Methods.- Event Prediction for Switching LinearSystems with Time Varying Thresholds Using Orthogonal Functions.- On the Causality of Mixed-Signal and Hybrid Models.- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.- Multi-object Adaptive Cruise Control.- Universality and Language Inclusion for Open and Closed Timed Automata.- On the Application of Hybrid Control to CPU Reservations.- Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback.- Qualitative Heterogeneous Control of Higher Order Systems.- The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems.- Hybrid Modelling and Control of Power Electronics.- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules.- Efficient Representation and Computation of Reachable Sets for Hybrid Systems.- Model Checking LTL over Controllable Linear Systems Is Decidable.- Approximate Reachability for Linear Systems.- Observability of Linear Hybrid Systems.- Results and Perspectives on Computational Methods for Optimal Control of Switched Systems.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com