10. HSCC 2007:
Pisa,
Italy
Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo (Eds.):
Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings.
Lecture Notes in Computer Science 4416 Springer 2007, ISBN 978-3-540-71492-7 BibTeX
Keynote Speeches
Regular Papers
- Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry:
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.
4-17
Electronic Edition (link) BibTeX
- Alessandro Arsie, Emilio Frazzoli:
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries.
18-31
Electronic Edition (link) BibTeX
- Fabio Bagagiolo:
Minimum Time for a Hybrid System with Thermostatic Switchings.
32-45
Electronic Edition (link) BibTeX
- Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
Complexity Reduction for the Design of Interacting Controllers.
46-60
Electronic Edition (link) BibTeX
- Grégory Batt, Calin Belta, Ron Weiss:
Model Checking Genetic Regulatory Networks with Parameter Uncertainty.
61-75
Electronic Edition (link) BibTeX
- Spring Berman, Ádám M. Halász, Vijay Kumar:
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems.
76-89
Electronic Edition (link) BibTeX
- Mikhail Bernadsky, Rajeev Alur:
Symbolic Analysis for GSMP Models with One Stateful Clock.
90-103
Electronic Edition (link) BibTeX
- Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams:
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles.
104-117
Electronic Edition (link) BibTeX
- Paolo Bolzern, Patrizio Colaneri, José Claudio Geromel:
Optimal Switching of 1-DOF Oscillating Systems.
118-130
Electronic Edition (link) BibTeX
- Tommaso Cucinotta, Luigi Palopoli:
Feedback Scheduling for Pipelines of Tasks.
131-144
Electronic Edition (link) BibTeX
- Jennifer M. Davoren, Paulo Tabuada:
On Simulations and Bisimulations of General Flow Systems.
145-158
Electronic Edition (link) BibTeX
- Domitilla Del Vecchio:
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems.
159-173
Electronic Edition (link) BibTeX
- Alexandre Donzé, Oded Maler:
Systematic Simulation Using Sensitivity Analysis.
174-189
Electronic Edition (link) BibTeX
- Magnus Egerstedt, Todd D. Murphey, Jon Ludwig:
Motion Programs for Puppet Choreography and Control.
190-202
Electronic Edition (link) BibTeX
- Georgios E. Fainekos, Antoine Girard, George J. Pappas:
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications.
203-216
Electronic Edition (link) BibTeX
- Bruno Gaujal, Florence Perronnin:
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems.
217-230
Electronic Edition (link) BibTeX
- Antoine Girard:
Approximately Bisimilar Finite Abstractions of Stable Linear Systems.
231-244
Electronic Edition (link) BibTeX
- Radu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka:
Learning Cycle-Linear Hybrid Automata for Excitable Cells.
245-258
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Nicolas Hudson, Joel Burdick:
A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems.
273-286
Electronic Edition (link) BibTeX
- Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke:
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.
287-300
Electronic Edition (link) BibTeX
- Erik Johannesson, Toivo Henningsson, Anton Cervin:
Sporadic Control of First-Order Linear Stochastic Systems.
301-314
Electronic Edition (link) BibTeX
- Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch:
Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks.
315-328
Electronic Edition (link) BibTeX
- A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas:
Robust Test Generation and Coverage for Hybrid Systems.
329-342
Electronic Edition (link) BibTeX
- Koichi Kobayashi, Jun-ichi Imura:
Minimalilty of Finite Automata Representation in Hybrid Systems Control.
343-356
Electronic Edition (link) BibTeX
- Jesper A. Larsen, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi:
Hybrid Control and Verification of a Pulsed Welding Process.
357-370
Electronic Edition (link) BibTeX
- Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon Hu, Matthew Zyskowski:
On Self-triggered Full-Information H-Infinity Controllers.
371-384
Electronic Edition (link) BibTeX
- John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski:
Impulse Differential Inclusions Driven by Discrete Measures.
385-398
Electronic Edition (link) BibTeX
- Federico Mari, Enrico Tronci:
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.
399-412
Electronic Edition (link) BibTeX
- John-Michael McNew, Eric Klavins, Magnus Egerstedt:
Solving Coverage Problems with Embedded Graph Grammars.
413-427
Electronic Edition (link) BibTeX
- Ian M. Mitchell:
Comparing Forward and Backward Reachability as Tools for Safety Analysis.
428-443
Electronic Edition (link) BibTeX
- Pablo A. Parrilo, Ali Jadbabaie:
Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares.
444-458
Electronic Edition (link) BibTeX
- Mihály Petreczky, René Vidal:
Metrics and Topology for Nonlinear and Hybrid Systems.
459-472
Electronic Edition (link) BibTeX
- André Platzer, Edmund M. Clarke:
The Image Computation Problem in Hybrid Systems Model Checking.
473-486
Electronic Edition (link) BibTeX
- Kaushik Roy, Claire Tomlin:
A New Hybrid State Estimator for Systems with Limited Mode Changes.
487-500
Electronic Edition (link) BibTeX
- Guillaume Sandou, Sorin Olaru:
Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems.
501-514
Electronic Edition (link) BibTeX
- Axel Schild, Jan Lunze:
Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces.
515-528
Electronic Edition (link) BibTeX
- Paulo Tabuada:
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems.
529-542
Electronic Edition (link) BibTeX
- Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh:
Finite State Controllers for Stabilizing Switched Systems with Binary Sensors.
543-556
Electronic Edition (link) BibTeX
- Shinya Umeno, Nancy A. Lynch:
Safety Verification of an Aircraft Landing Protocol: A Refinement Approach.
557-572
Electronic Edition (link) BibTeX
- Vladimiro Vacca, Francesco Vasca, Luigi Iannelli:
Rate Admission Control for Hard Real-Time Task Scheduling.
573-586
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Gera Weiss, Rajeev Alur:
Automata Based Interfaces for Control and Scheduling.
601-613
Electronic Edition (link) BibTeX
- Kerim Yunt, Christoph Glocker:
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems.
614-627
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Anil Aswani, Claire Tomlin:
Reachability Algorithm for Biological Piecewise-Affine Hybrid Systems.
633-636
Electronic Edition (link) BibTeX
- Vadim Azhmyakov, Sid Ahmed Attia, Dmitry Gromov, Jörg Raisch:
Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems.
637-640
Electronic Edition (link) BibTeX
- Dario Bauso:
Optimal Switches in Multi-inventory Systems.
641-644
Electronic Edition (link) BibTeX
- Alexandre M. Bayen, Christian G. Claudel, Patrick Saint-Pierre:
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation.
645-649
Electronic Edition (link) BibTeX
- Mauro Boccadoro, Paolo Valigi, Yorai Wardi:
A Method for the Design of Optimal Switching Surfaces for Autonomous Hybrid Systems.
650-655
Electronic Edition (link) BibTeX
- Peter E. Caines, Magnus Egerstedt, Roland P. Malhamé, Angela Schöllig:
A Hybrid Bellman Equation for Bimodal Systems.
656-659
Electronic Edition (link) BibTeX
- Marta Capiluppi, Manfred Morari:
Networks of Hybrid Systems: Connections Faults Modelling and Detection.
660-663
Electronic Edition (link) BibTeX
- Daniele Casagrande, Alessandro Astolfi, Thomas Parisini:
Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems.
664-667
Electronic Edition (link) BibTeX
- Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra:
Composing Semi-algebraic O-Minimal Automata.
668-671
Electronic Edition (link) BibTeX
- Eva Crück, John Lygeros:
A Hybrid Model for Subliminal Air Traffic Control.
672-675
Electronic Edition (link) BibTeX
- Pieter J. L. Cuijpers:
On Bicontinuous Bisimulation and the Preservation of Stability.
676-679
Electronic Edition (link) BibTeX
- Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon D. Koutsoukos:
Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs.
680-683
Electronic Edition (link) BibTeX
- Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo:
Diagnosability Verification for Hybrid Automata.
684-687
Electronic Edition (link) BibTeX
- Etienne Farcot, Jean-Luc Gouzé:
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models.
688-692
Electronic Edition (link) BibTeX
- Marcello Farina, Maria Prandini:
Hybrid Models for Gene Regulatory Networks: The Case of lac Operon in E. Coli.
693-697
Electronic Edition (link) BibTeX
- Goran Frehse, Oded Maler:
Reachability Analysis of a Switched Buffer Network.
698-701
Electronic Edition (link) BibTeX
- Sumitra Ganesh, Aaron D. Ames, Ruzena Bajcsy:
Composition of Dynamical Systems for Estimation of Human Body Dynamics.
702-705
Electronic Edition (link) BibTeX
- Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho-Caparrini:
Computation in One-Dimensional Piecewise Maps.
706-709
Electronic Edition (link) BibTeX
- Pau Martí, Manel Velasco:
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models.
710-713
Electronic Edition (link) BibTeX
- Gilles Millerioux, Jamal Daafouz:
Invertibility and Flatness of Switched Linear Discrete-Time Systems.
714-717
Electronic Edition (link) BibTeX
- Sayan Mitra, Nancy A. Lynch:
Trace-Based Semantics for Probabilistic Timed I/O Automata.
718-722
Electronic Edition (link) BibTeX
- Abubakr Muhammad, Ali Jadbabaie:
Asymptotic Stability of Switched Higher Order Laplacians.
723-726
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Tarik Nahhal, Thao Dang:
Guided Randomized Simulation.
731-735
Electronic Edition (link) BibTeX
- Eva M. Navarro-López, Domingo Cortés:
Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System.
736-740
Electronic Edition (link) BibTeX
- Jens Oehlerking, Henning Burchardt, Oliver E. Theel:
Fully Automated Stability Verification for Piecewise Affine Systems.
741-745
Electronic Edition (link) BibTeX
- André Platzer:
Differential Logic for Reasoning About Hybrid Systems.
746-749
Electronic Edition (link) BibTeX
- Andreas Podelski, Silke Wagner:
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems.
750-753
Electronic Edition (link) BibTeX
- Riccardo Porreca, Giancarlo Ferrari-Trecate, Daniela Chieppi, Lalo Magni, Olivier Bernard:
Switch Detection in Genetic Regulatory Networks.
754-757
Electronic Edition (link) BibTeX
- Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.
758-761
Electronic Edition (link) BibTeX
- J. H. Sandee, W. P. M. H. Heemels, P. P. J. van den Bosch:
Case Studies in Event-Driven Control.
762-765
Electronic Edition (link) BibTeX
- Chze Eng Seah, Inseok Hwang:
Hybrid Estimation for Stochastic Piecewise Linear Systems.
766-770
Electronic Edition (link) BibTeX
- Yorai Wardi, Xu Chu Ding, Shun-ichi Azuma:
On-Line Optimization of Switched-Mode Hybrid Dynamical Systems.
771-774
Electronic Edition (link) BibTeX
- Gera Weiss:
State Nullification of Switched Systems by Linear Output Feedback.
775-778
Electronic Edition (link) BibTeX
- Hao Yang, Bin Jiang, Vincent Cocquempot:
Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults.
779-782
Electronic Edition (link) BibTeX
- Darine Zambrano, Winston García-Gabín, Eduardo F. Camacho:
A Heuristic Predictive Logic Controller Applied to Hybrid Solar Air Conditioning Plant.
783-786
Electronic Edition (link) BibTeX
- Michael M. Zavlanos, George J. Pappas:
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games.
787-789
Electronic Edition (link) BibTeX
- Fumin Zhang, Naomi Ehrich Leonard:
A Controller Design Method Under Infrequent, Asynchronous Sensing.
790-794
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:15:33 2009
by Michael Ley (ley@uni-trier.de)