10. HSCC 2007: Pisa, Italy

Keynote Speeches

• Shankar Sastry:
  Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems. 1
  
• John A. Stankovic:
  Control Challenges in Wireless Sensor Networks. 2
  
• Ed Brinksma:
  The Challenges of Embedded Systems Engineering. 3
  

Regular Papers

• Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry:
  Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. 4-17
  
• Alessandro Arsie, Emilio Frazzoli:
  Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries. 18-31
  
• Fabio Bagagiolo:
  Minimum Time for a Hybrid System with Thermostatic Switchings. 32-45
  
• Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
  Complexity Reduction for the Design of Interacting Controllers. 46-60
  
• Grégory Batt, Calin Belta, Ron Weiss:
  Model Checking Genetic Regulatory Networks with Parameter Uncertainty. 61-75
  
• Spring Berman, Ádám M. Halász, Vijay Kumar:
  MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems. 76-89
  
• Mikhail Bernadsky, Rajeev Alur:
  Symbolic Analysis for GSMP Models with One Stateful Clock. 90-103
  
• Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams:
  Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles. 104-117
  
• Paolo Bolzern, Patrizio Colaneri, José Claudio Geromel:
  Optimal Switching of 1-DOF Oscillating Systems. 118-130
  
• Tommaso Cucinotta, Luigi Palopoli:
  Feedback Scheduling for Pipelines of Tasks. 131-144
  
• Jennifer M. Davoren, Paulo Tabuada:
  On Simulations and Bisimulations of General Flow Systems. 145-158
  
• Domitilla Del Vecchio:
  A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems. 159-173
  
• Alexandre Donzé, Oded Maler:
  Systematic Simulation Using Sensitivity Analysis. 174-189
  
• Magnus Egerstedt, Todd D. Murphey, Jon Ludwig:
  Motion Programs for Puppet Choreography and Control. 190-202
  
• Georgios E. Fainekos, Antoine Girard, George J. Pappas:
  Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. 203-216
  
• Bruno Gaujal, Florence Perronnin:
  Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems. 217-230
  
• Antoine Girard:
  Approximately Bisimilar Finite Abstractions of Stable Linear Systems. 231-244
  
• Radu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka:
  Learning Cycle-Linear Hybrid Automata for Excitable Cells. 245-258
  
• W. P. M. H. Heemels, Siep Weiland, Aleksandar Lj. Juloski:
  Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application. 259-272
  
• Nicolas Hudson, Joel W. Burdick:
  A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems. 273-286
  
• Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke:
  Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. 287-300
  
• Erik Johannesson, Toivo Henningsson, Anton Cervin:
  Sporadic Control of First-Order Linear Stochastic Systems. 301-314
  
• Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch:
  Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks. 315-328
  
• A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas:
  Robust Test Generation and Coverage for Hybrid Systems. 329-342
  
• Koichi Kobayashi, Jun-ichi Imura:
  Minimalilty of Finite Automata Representation in Hybrid Systems Control. 343-356
  
• Jesper A. Larsen, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi:
  Hybrid Control and Verification of a Pulsed Welding Process. 357-370
  
• Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon Hu, Matthew Zyskowski:
  On Self-triggered Full-Information H-Infinity Controllers. 371-384
  
• John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski:
  Impulse Differential Inclusions Driven by Discrete Measures. 385-398
  
• Federico Mari, Enrico Tronci:
  CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. 399-412
  
• John-Michael McNew, Eric Klavins, Magnus Egerstedt:
  Solving Coverage Problems with Embedded Graph Grammars. 413-427
  
• Ian M. Mitchell:
  Comparing Forward and Backward Reachability as Tools for Safety Analysis. 428-443
  
• Pablo A. Parrilo, Ali Jadbabaie:
  Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares. 444-458
  
• Mihály Petreczky, René Vidal:
  Metrics and Topology for Nonlinear and Hybrid Systems. 459-472
  
• André Platzer, Edmund M. Clarke:
  The Image Computation Problem in Hybrid Systems Model Checking. 473-486
  
• Kaushik Roy, Claire Tomlin:
  A New Hybrid State Estimator for Systems with Limited Mode Changes. 487-500
  
• Guillaume Sandou, Sorin Olaru:
  Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems. 501-514
  
• Axel Schild, Jan Lunze:
  Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces. 515-528
  
• Paulo Tabuada:
  Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems. 529-542
  
• Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh:
  Finite State Controllers for Stabilizing Switched Systems with Binary Sensors. 543-556
  
• Shinya Umeno, Nancy A. Lynch:
  Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. 557-572
  
• Vladimiro Vacca, Francesco Vasca, Luigi Iannelli:
  Rate Admission Control for Hard Real-Time Task Scheduling. 573-586
  
• D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda:
  Foundations of a Compositional Interchange Format for Hybrid Systems. 587-600
  
• Gera Weiss, Rajeev Alur:
  Automata Based Interfaces for Control and Scheduling. 601-613
  
• Kerim Yunt, Christoph Glocker:
  Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems. 614-627
  

Short Papers

• Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry:
  The Concept of Deadlock and Livelock in Hybrid Control Systems. 628-632
  
• Anil Aswani, Claire Tomlin:
  Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems. 633-636
  
• Vadim Azhmyakov, Sid Ahmed Attia, Dmitry Gromov, Jörg Raisch:
  Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems. 637-640
  
• Dario Bauso:
  Optimal Switches in Multi-inventory Systems. 641-644
  
• Alexandre M. Bayen, Christian G. Claudel, Patrick Saint-Pierre:
  Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation. 645-649
  
• Mauro Boccadoro, Paolo Valigi, Yorai Wardi:
  A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems. 650-655
  
• Peter E. Caines, Magnus Egerstedt, Roland P. Malhamé, Angela Schöllig:
  A Hybrid Bellman Equation for Bimodal Systems. 656-659
  
• Marta Capiluppi, Manfred Morari:
  Networks of Hybrid Systems: Connections Faults Modelling and Detection. 660-663
  
• Daniele Casagrande, Alessandro Astolfi, Thomas Parisini:
  Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems. 664-667
  
• Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra:
  Composing Semi-algebraic O-Minimal Automata. 668-671
  
• Eva Crück, John Lygeros:
  A Hybrid Model for Subliminal Air Traffic Control. 672-675
  
• Pieter J. L. Cuijpers:
  On Bicontinuous Bisimulation and the Preservation of Stability. 676-679
  
• Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon D. Koutsoukos:
  Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs. 680-683
  
• Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo:
  Diagnosability Verification for Hybrid Automata. 684-687
  
• Etienne Farcot, Jean-Luc Gouzé:
  Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models. 688-692
  
• Marcello Farina, Maria Prandini:
  Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli. 693-697
  
• Goran Frehse, Oded Maler:
  Reachability Analysis of a Switched Buffer Network. 698-701
  
• Sumitra Ganesh, Aaron D. Ames, Ruzena Bajcsy:
  Composition of Dynamical Systems for Estimation of Human Body Dynamics. 702-705
  
• Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho-Caparrini:
  Computation in One-Dimensional Piecewise Maps. 706-709
  
• Pau Martí, Manel Velasco:
  Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models. 710-713
  
• Gilles Millerioux, Jamal Daafouz:
  Invertibility and Flatness of Switched Linear Discrete-Time Systems. 714-717
  
• Sayan Mitra, Nancy A. Lynch:
  Trace-Based Semantics for Probabilistic Timed I/O Automata. 718-722
  
• Abubakr Muhammad, Ali Jadbabaie:
  Asymptotic Stability of Switched Higher Order Laplacians. 723-726
  
• M. W. J. M. Musters, Hidde de Jong, P. P. J. van den Bosch, Natal A. W. van Riel:
  Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions. 727-730
  
• Tarik Nahhal, Thao Dang:
  Guided Randomized Simulation. 731-735
  
• Eva M. Navarro-López, Domingo Cortés:
  Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System. 736-740
  
• Jens Oehlerking, Henning Burchardt, Oliver E. Theel:
  Fully Automated Stability Verification for Piecewise Affine Systems. 741-745
  
• André Platzer:
  Differential Logic for Reasoning About Hybrid Systems. 746-749
  
• Andreas Podelski, Silke Wagner:
  A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. 750-753
  
• Riccardo Porreca, Giancarlo Ferrari-Trecate, Daniela Chieppi, Lalo Magni, Olivier Bernard:
  Switch Detection in Genetic Regulatory Networks. 754-757
  
• Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
  Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. 758-761
  
• J. H. Sandee, W. P. M. H. Heemels, P. P. J. van den Bosch:
  Case Studies in Event-Driven Control. 762-765
  
• Chze Eng Seah, Inseok Hwang:
  Hybrid Estimation for Stochastic Piecewise Linear Systems. 766-770
  
• Yorai Wardi, Xu Chu Ding, Shun-ichi Azuma:
  On-Line Optimization of Switched-Mode Hybrid Dynamical Systems. 771-774
  
• Gera Weiss:
  State Nullification of Switched Systems by Linear Output Feedback. 775-778
  
• Hao Yang, Bin Jiang, Vincent Cocquempot:
  Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults. 779-782
  
• Darine Zambrano, Winston García-Gabín, Eduardo F. Camacho:
  A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant. 783-786
  
• Michael M. Zavlanos, George J. Pappas:
  Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. 787-789
  
• Fumin Zhang, Naomi Ehrich Leonard:
  A Controller Design Method Under Infrequent, Asynchronous Sensing. 790-794