Skip to main content
SpringerLink
Log in

Hybrid Systems: Computation and Control

12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Rupak Majumdar

    1. Department of Computer Science, University of California, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Paulo Tabuada

    1. Department of Electrical Engineering, University of California, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5469)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: HSCC 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.

Similar content being viewed by others

Keywords

Table of contents (40 papers)

  1. Front Matter

    Download chapter PDF

  2. Regular Papers

    1. Applications of MetiTarski in the Verification of Control and Hybrid Systems

      • Behzad Akbarpour, Lawrence C. Paulson
      Pages 1-15

    2. Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach

      • Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel
      Pages 16-30

    3. Safe and Secure Networked Control Systems under Denial-of-Service Attacks

      • Saurabh Amin, Alvaro A. Cárdenas, S. Shankar Sastry
      Pages 31-45

    4. Actors without Directors: A Kahnian View of Heterogeneous Systems

      • P. Caspi, A. Benveniste, R. Lublinerman, S. Tripakis
      Pages 46-60

    5. Simultaneous Optimal Control and Discrete Stochastic Sensor Selection

      • D. Bernardini, D. Muñoz de la Peña, A. Bemporad, E. Frazzoli
      Pages 61-75

    6. Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks

      • Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto
      Pages 76-89

    7. Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study

      • Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
      Pages 90-104

    8. Local Identification of Piecewise Deterministic Models of Genetic Networks

      • Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros
      Pages 105-119

    9. Distributed Wombling by Robotic Sensor Networks

      • Jorge Cortés
      Pages 120-134

    10. Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces

      • J. M. Davoren
      Pages 135-149

    11. Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach

      • M. C. F. Donkers, L. Hetel, W. P. M. H. Heemels, N. van de Wouw, M. Steinbuch
      Pages 150-164

    12. Parameter Synthesis for Hybrid Systems with an Application to Simulink Models

      • Alexandre Donzé, Bruce Krogh, Akshay Rajhans
      Pages 165-179

    13. Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem

      • Daniele Fontanelli, Luigi Palopoli, Roberto Passerone
      Pages 180-193

    14. Finite Automata as Time-Inv Linear Systems Observability, Reachability and More

      • Radu Grosu
      Pages 194-208

    15. Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions

      • Falk M. Hante, Günter Leugering
      Pages 209-222

    16. Trajectory Based Verification Using Local Finite-Time Invariance

      • A. Agung Julius, George J. Pappas
      Pages 223-236

    17. Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program

      • Mircea Lazar, Andrej Jokic
      Pages 237-251

    18. Uniform Consensus among Self-driven Particles

      • Ji-Woong Lee
      Pages 252-261

    19. Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes

      • Patrick Martin, Magnus Egerstedt
      Pages 262-275
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Editors and Affiliations

  • Department of Computer Science, University of California, Los Angeles, USA

    Rupak Majumdar

  • Department of Electrical Engineering, University of California, Los Angeles, USA

    Paulo Tabuada

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation