Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems: Computation and Control

10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Alberto Bemporad
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antonio Bicchi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Giorgio Buttazzo
    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 4416)

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

Included in the following conference series:

Conference proceedings info: HSCC 2007.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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

Table of contents (86 papers)

  1. Front Matter

    Download chapter PDF

  3. Regular Papers

    1. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems

      • Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry
      Pages 4-17

    2. Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries

      • Alessandro Arsie, Emilio Frazzoli
      Pages 18-31

    3. Minimum Time for a Hybrid System with Thermostatic Switchings

      • Fabio Bagagiolo
      Pages 32-45

    4. Complexity Reduction for the Design of Interacting Controllers

      • A. Balluchi, E. Mazzi, A. L. Sangiovanni Vincentelli
      Pages 46-60

    5. Model Checking Genetic Regulatory Networks with Parameter Uncertainty

      • Grégory Batt, Calin Belta, Ron Weiss
      Pages 61-75

    6. MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

      • Spring Berman, Ádám Halász, Vijay Kumar
      Pages 76-89

    7. Symbolic Analysis for GSMP Models with One Stateful Clock

      • Mikhail Bernadsky, Rajeev Alur
      Pages 90-103

    8. Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles

      • Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams
      Pages 104-117

    9. Optimal Switching of 1-DOF Oscillating Systems

      • Paolo Bolzern, Patrizio Colaneri, José Claudio Geromel
      Pages 118-130

    10. Feedback Scheduling for Pipelines of Tasks

      • Tommaso Cucinotta, Luigi Palopoli
      Pages 131-144

    11. On Simulations and Bisimulations of General Flow Systems

      • J. M. Davoren, Paulo Tabuada
      Pages 145-158

    12. A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems

      • Domitilla Del Vecchio
      Pages 159-173

    13. Systematic Simulation Using Sensitivity Analysis

      • Alexandre Donzé, Oded Maler
      Pages 174-189

    14. Motion Programs for Puppet Choreography and Control

      • Magnus Egerstedt, Todd Murphey, Jon Ludwig
      Pages 190-202

    15. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

      • Georgios E. Fainekos, Antoine Girard, George J. Pappas
      Pages 203-216

    16. Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems

      • Bruno Gaujal, Florence Perronnin
      Pages 217-230
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.

The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation