Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2009

Hybrid Systems: Computation and Control

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

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)

Conference series link(s): HSCC: International Workshop on Hybrid Systems: Computation and Control

Conference proceedings info: HSCC 2009.

Sections

Buy it 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

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

Table of contents (40 papers)

  1. Front Matter

    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

    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

    16. Trajectory Based Verification Using Local Finite-Time Invariance

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

Other Volumes

  1. Hybrid Systems: Computation and Control

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it 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

Search

Navigation