↓ Skip to main content
What is this page? Embed badge

Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

Overview of attention for book
Cover of 'Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Mathematics of Matter and the Mathematics of Mind
  3. Altmetric Badge
    Chapter 2 A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal
  4. Altmetric Badge
    Chapter 3 Developing Home Robotics Products: Challenges and Lessons Learned
  5. Altmetric Badge
    Chapter 4 Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
  6. Altmetric Badge
    Chapter 5 Reachability Analysis of Nonlinear Systems Using Conservative Approximation
  7. Altmetric Badge
    Chapter 6 Mode Reconstruction for Source Coding and Multi-modal Control
  8. Altmetric Badge
    Chapter 7 Hybrid Control Design for a Wheeled Mobile Robot
  9. Altmetric Badge
    Chapter 8 Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems
  10. Altmetric Badge
    Chapter 9 Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions
  11. Altmetric Badge
    Chapter 10 A Greedy Approach to Identification of Piecewise Affine Models
  12. Altmetric Badge
    Chapter 11 A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
  13. Altmetric Badge
    Chapter 12 Reachability Questions in Piecewise Deterministic Markov Processes
  14. Altmetric Badge
    Chapter 13 Automatic Verification of a Turbogas Control System with the Murφ Verifier
  15. Altmetric Badge
    Chapter 14 Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System
  16. Altmetric Badge
    Chapter 15 Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators
  17. Altmetric Badge
    Chapter 16 Conditions of Optimal Classification for Piecewise Affine Regression
  18. Altmetric Badge
    Chapter 17 Approximate Stabilisation of Uncertain Hybrid Systems
  19. Altmetric Badge
    Chapter 18 Efficient Mode Enumeration of Compositional Hybrid Systems
  20. Altmetric Badge
    Chapter 19 Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
  21. Altmetric Badge
    Chapter 20 Modelling, Well-Posedness, and Stability of Switched Electrical Networks
  22. Altmetric Badge
    Chapter 21 Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach
  23. Altmetric Badge
    Chapter 22 On Systematic Simulation of Open Continuous Systems
  24. Altmetric Badge
    Chapter 23 Estimation of Distributed Hybrid Systems Using Particle Filtering Methods
  25. Altmetric Badge
    Chapter 24 Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions
  26. Altmetric Badge
    Chapter 25 On the Causality of Mixed-Signal and Hybrid Models
  27. Altmetric Badge
    Chapter 26 Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata
  28. Altmetric Badge
    Chapter 27 Multi-object Adaptive Cruise Control
  29. Altmetric Badge
    Chapter 28 Universality and Language Inclusion for Open and Closed Timed Automata
  30. Altmetric Badge
    Chapter 29 On the Application of Hybrid Control to CPU Reservations
  31. Altmetric Badge
    Chapter 30 Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback
  32. Altmetric Badge
    Chapter 31 Qualitative Heterogeneous Control of Higher Order Systems
  33. Altmetric Badge
    Chapter 32 The Ö-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems
  34. Altmetric Badge
    Chapter 33 Hybrid Modelling and Control of Power Electronics
  35. Altmetric Badge
    Chapter 34 On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules
  36. Altmetric Badge
    Chapter 35 Efficient Representation and Computation of Reachable Sets for Hybrid Systems
  37. Altmetric Badge
    Chapter 36 Model Checking LTL over Controllable Linear Systems Is Decidable
  38. Altmetric Badge
    Chapter 37 Approximate Reachability for Linear Systems
  39. Altmetric Badge
    Chapter 38 Observability of Linear Hybrid Systems
  40. Altmetric Badge
    Chapter 39 Results and Perspectives on Computational Methods for Optimal Control of Switched Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
30 Dimensions

Readers on

mendeley
165 Mendeley
Summary X Wikipedia Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Hybrid Systems: Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings
Published by
Springer, Berlin, Heidelberg, January 2003
DOI 10.1007/3-540-36580-x
ISBNs
978-3-54-000913-9, 978-3-54-036580-8
Editors

Maler, Oded, Pnueli, Amir

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 165 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 165 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 <1%
Unknown 164 99%
Readers by discipline Count As %
Computer Science 1 <1%
Unknown 164 99%

This page is provided by Altmetric.