12. HSCC 2009:
San Francisco,
CA,
USA
Rupak Majumdar, Paulo Tabuada (Eds.):
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings.
Lecture Notes in Computer Science 5469 Springer 2009, ISBN 978-3-642-00601-2 BibTeX
Regular Papers
- Behzad Akbarpour, Lawrence C. Paulson:
Applications of MetiTarski in the Verification of Control and Hybrid Systems.
1-15
Electronic Edition (link) BibTeX
- Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel:
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach.
16-30
Electronic Edition (link) BibTeX
- Saurabh Amin, Alvaro A. Cárdenas, Shankar Sastry:
Safe and Secure Networked Control Systems under Denial-of-Service Attacks.
31-45
Electronic Edition (link) BibTeX
- Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis:
Actors without Directors: A Kahnian View of Heterogeneous Systems.
46-60
Electronic Edition (link) BibTeX
- D. Bernardini, D. Muñoz de la Peña, Alberto Bemporad, Emilio Frazzoli:
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection.
61-75
Electronic Edition (link) BibTeX
- Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto:
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.
76-89
Electronic Edition (link) BibTeX
- Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
90-104
Electronic Edition (link) BibTeX
- Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros:
Local Identification of Piecewise Deterministic Models of Genetic Networks.
105-119
Electronic Edition (link) BibTeX
- Jorge Cortés:
Distributed Wombling by Robotic Sensor Networks.
120-134
Electronic Edition (link) BibTeX
- Jennifer M. Davoren:
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.
135-149
Electronic Edition (link) BibTeX
- M. C. F. Donkers, L. Hetel, W. P. M. H. Heemels, Nathan van de Wouw, M. Steinbuch:
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach.
150-164
Electronic Edition (link) BibTeX
- Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.
165-179
Electronic Edition (link) BibTeX
- Daniele Fontanelli, Luigi Palopoli, Roberto Passerone:
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem.
180-193
Electronic Edition (link) BibTeX
- Radu Grosu:
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.
194-208
Electronic Edition (link) BibTeX
- Falk M. Hante, Günter Leugering:
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions.
209-222
Electronic Edition (link) BibTeX
- A. Agung Julius, George J. Pappas:
Trajectory Based Verification Using Local Finite-Time Invariance.
223-236
Electronic Edition (link) BibTeX
- Mircea Lazar, Andrej Jokic:
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program.
237-251
Electronic Edition (link) BibTeX
- Ji-Woong Lee:
Uniform Consensus among Self-driven Particles.
252-261
Electronic Edition (link) BibTeX
- Patrick Martin, Magnus Egerstedt:
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes.
262-275
Electronic Edition (link) BibTeX
- Jens Oehlerking, Oliver E. Theel:
Decompositional Construction of Lyapunov Functions for Hybrid Systems.
276-290
Electronic Edition (link) BibTeX
- Yizhar Or, Aaron D. Ames:
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems.
291-305
Electronic Edition (link) BibTeX
- Gunther Reißig:
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.
306-320
Electronic Edition (link) BibTeX
- Giulio Ripaccioli, Alberto Bemporad, Francis Assadian, Clement Dextreit, Stefano Di Cairano, Ilya V. Kolmanovsky:
Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management.
321-335
Electronic Edition (link) BibTeX
- Joris Sijs, Mircea Lazar:
On Event Based State Estimation.
336-350
Electronic Edition (link) BibTeX
- Yuichi Tazaki, Jun-ichi Imura:
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer.
351-365
Electronic Edition (link) BibTeX
- Xiaofeng Wang, Michael D. Lemmon:
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays.
366-380
Electronic Edition (link) BibTeX
- Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur:
Specification and Analysis of Network Resource Requirements of Control Systems.
381-395
Electronic Edition (link) BibTeX
- Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski:
Periodically Controlled Hybrid Systems.
396-410
Electronic Edition (link) BibTeX
- Wei Zhang, Alessandro Abate, Jianghai Hu:
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach.
411-425
Electronic Edition (link) BibTeX
- Gang Zheng, Antoine Girard:
Bounded and Unbounded Safety Verification Using Bisimulation Metrics.
426-440
Electronic Edition (link) BibTeX
Short Papers
- Pau Martí, Manel Velasco, Enrico Bini:
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers.
441-444
Electronic Edition (link) BibTeX
- Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha:
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.
445-449
Electronic Edition (link) BibTeX
- Katsunori Nakamura, Akira Fusaoka:
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata.
450-454
Electronic Edition (link) BibTeX
- Gou Nakura:
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract).
455-459
Electronic Edition (link) BibTeX
- Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.
460-464
Electronic Edition (link) BibTeX
- Axel Schild, Magnus Egerstedt, Jan Lunze:
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets.
465-469
Electronic Edition (link) BibTeX
- Michael Schuresko, Jorge Cortés:
Distributed Tree Rearrangements for Reachability and Robust Connectivity.
470-474
Electronic Edition (link) BibTeX
- Farzin Taringoo, Peter E. Caines:
The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters.
475-479
Electronic Edition (link) BibTeX
- Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
STORMED Hybrid Games.
480-484
Electronic Edition (link) BibTeX
- Farn Wang:
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment.
485-489
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:15:34 2009
by Michael Ley (ley@uni-trier.de)