Preliminary Program of HSCC 2010: April 13-15
Tuesday 13 April
9:00 - 10:00 CPSWEEK Plenary speaker:
Sten Grillner, Karolinska Institute
Chair: Wang Yi
10:30 - 12:00 Session 1: Compositionality and Abstraction
Chair: Sriram Sankaranarayanan
- P. S. Thiagarajan and Shaofa Yang. Succinct Discrete Time Approximations of Distributed Hybrid Automata
- Thao Dang, Oded Maler and Romain Testylier. Accurate Hybridization of Non-linear Systems
- Florian Kerber and Arjan van der Schaft. Compositional analysis for linear control systems
13:30 - 15:00 Session 2: Hybrid Control Systems
Chair: P.S. Thiagarajan
- Joris Sijs, Mircea Lazar and Maurice Heemels. On Integration of Event-based Estimation and Robust MPC in a Feedback Loop
- Kerstin Bauer and Klaus Schneider. From Synchronous Programs to Symbolic Representations of Hybrid Systems
- Humberto Gonzalez, Ramanarayan Vasudevan, Maryam Kamgarpour, Shankar Sastry, Ruzena Bajcsy and Claire Tomlin. A Descent Algorithm for the Optimal Control of Constrained Switched Nonlinear Dynamical Systems
15:30 - 17:00 Session 3: Resource and Scheduling
Chair: Oleg Sokolsky
- Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen and Nicolas Markey. Timed Automata with Observers under Energy Constraints
- Prapaporn Rattanatamrong and José Fortes. Real-Time Scheduling of Mixture-of-Experts Systems with Limited Resources
- Vijay Gupta. On a Control Algorithm for Time-varying Processor Availability
Wednesday 14 April
10:30 - 12:00 Session 4: Specification and Control
Chair: Aaron Ames
- Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman and Andrzej Wasowski. Timed I/O Automata: A Complete Specification Theory for Real-time Systems
- Tichakorn Wongpiromsarn, Ufuk Topcu and Richard Murray. Receding Horizon Control for Temporal Logic Specifications
- Antoine Girard. Synthesis using Approximately Bisimilar Abstractions: State-Feedback Controllers for Safety Specifications
13:30 - 15:00 Session 5: Identification and Control
Chair: John Lygeros
- Kenji Kashima, Yasuyuki Kawamura and Jun-ichi Imura. Oscillation analysis of linearly coupled piecewise affine systems
- Mircea Lazar and Andrej Jokic. On Infinity Norms as Lyapunov Functions for Piecewise Affine Systems
- Mihaly Petreczky, Laurent Bako and Jan Hendrik van Schuppen. Identifiability of discrete-time linear switched systems
15:30 - 17:00 Session 6: Applications
Chair: Alberto Bemporad
- Eric Wendel and Aaron Ames. Rank Properties of Poincare Maps for Hybrid Systems with Applications to Bipedal Walking
- Saurabh Amin, Xavier Litrico, Shankar Sastry and Alexandre Bayen. Stealthy deception attacks on water SCADA systems
- Branko Kerkez, Steven D. Glaser, John A. Dracup and Roger C. Bales. A Hybrid System Model of Seasonal Snowpack Water Balance
Thursday 15 April
10:30 - 12:00 Session 7: Network and Control
Chair: Giordano Pola
- Maurice Heemels, Nathan van de Wouw, Rob Gielen, Tijs Donkers, Laurentiu Hetel, Sorin Olaru, Mircea Lazar, jamal daafouz and silviu niculescu. A Comparison of Overapproximation Methods for Stability Analysis of Networked Control Systems
- Anne-Kathrin Hess and Anders Rantzer. Distributed Kalman Filter Algorithms for Self-localization of Mobile Devices
- Punyaslok Purkayastha and John Baras. Convergence Results for Ant Routing Algorithms via Stochastic Approximations
13:30 - 15:00 Session 8: Verification of Stochastic Systems
Chair: Alessandro Abate
- Paolo Zuliani, Andre Platzer and Edmund Clarke. Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification
- Federico Ramponi, Debasish Chatterjee, Sean Summers and John Lygeros. On the connections between PCTL and Dynamic Programming
- Konstantinos Koutroumpas and John Lygeros. Modeling and verification of Stochastic Hybrid Systems using HIOA: A case study on DNA replication
15:30 - 17:00
Session 9: Modelling and Analysis
Chair: Werner Damm
- Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta and George Pappas. Monte-Carlo Techniques for Falsification of Temporal Properties of Non Linear Systems.
- Sriram Sankaranarayanan. Automatic Invariant Generation for Algebraic Systems using Ideal Fixed Points.
- Assaf Kfoury, Azer Bestavros, Andrei Lapets and Michael Ocean. Safe Compositional Network Sketches: The Formal Framework
17:15 - 18:15 Session 10: Switched Linear Systems
Chair: Thao Dang
- Jianghai Hu, Jinglai Shen and Wei Zhang. A Generating Function Approach to the Stability of Discrete-Time Switched Linear Systems
- Andrew Godbehere and Shankar Sastry. Polar Coordinate Methods for the Design and Analysis of Switched Linear Systems
18:15 - 19:00 HSCC Invited Closing Speaker: Oded Maler
. Amir Pnueli and the Dawn of Hybrid Systems
Chair: Karl-Henrik Johansson