Lecture Notes in Computer Science

Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

By: Rajeev Alur (Editor), George Pappas (Editor)

Write A Review

Paperback | 12 March 2004

At a Glance

Paperback
692 Pages

Dimensions(cm)
22.86 x 15.24 x 3.18

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year's HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

Lazy rectangular hybrid automata	p. 1
Affine hybrid systems	p. 16
Abstraction by projection and application to multi-affine systems	p. 32
Observability of switched linear systems	p. 48
Inference methods for autonomous stochastic linear hybrid systems	p. 64
Synthesis for idle speed control of an automotive engine	p. 80
Network congestion alleviation using adjoint hybrid control : application to highways	p. 95
Understanding the bacterial stringent response using reachability analysis of hybrid systems	p. 111
A SAT-based hybrid solver for optimal control of hybrid systems	p. 126
Incremental search methods for reachability analysis of continuous and hybrid systems	p. 142
Discrete and hybrid nonholonomy	p. 157
Approximations of the rate of growth of switched linear systems	p. 173
The hybrid guaranteed capture basin algorithm in economics	p. 187
Staying alive as cheaply as possible	p. 203
On O-minimal hybrid systems	p. 219
Extended stochastic hybrid systems and their reachability problem	p. 234
On the controllability of bimodal piecewise linear systems	p. 250
Observability of piecewise-affine hybrid systems	p. 265
Non-deterministic temporal logics for general flow systems	p. 280
Almost ASAP semantics : from timed models to timed implementations	p. 296
Discrete state estimators for a class of hybrid systems on a lattice	p. 311
Benchmarks for hybrid systems verification	p. 326
On the optimal control of switch-mode DC-DC converters	p. 342
Event-driven programming with logical execution times	p. 357
A stochastic hybrid model for air traffic control simulation	p. 372
Stochastic hybrid systems : application to communication networks	p. 387
Rigorous modeling of hybrid systems using interval arithmetic constraints	p. 402
Modeling subtilin production in bacillus subtilis using stochastic hybrid systems	p. 417
Sound code generation from communicating hybrid models	p. 432
Multi-parametric toolbox (MPT)	p. 448
Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis	p. 463
Safety verification of hybrid systems using barrier certificates	p. 477
Piecewise-linear output-error methods for parameter estimation in direction-dependent processes	p. 493
A spatial logic for the hybrid [pi]-calculus	p. 508
Full paper sheet control using hybrid automata	p. 523
Constructing invariants for hybrid systems	p. 539
Bisimulation of dynamical systems	p. 555
Control design for a hybrid dynamic system : a NASA life support system	p. 570
Non-concurrent error detection and correction in switched linear controllers	p. 585
Nonlinear systems : approximating reach sets	p. 600
On practical stability and stabilization of hybrid and switched systems	p. 615
A numerical technique for stability analysis of linear switched systems	p. 631
Asymptotic stability and boundedness of delay switching diffusions	p. 646
Symbolic systems biology : hybrid modeling and analysis of biological networks	p. 660
Author index	p. 673
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Introduction to Machine Learning Algorithms

Basic Principles and Mathematics

Graphical Models and Causal Discovery with R

100 Exercises for Building Logic

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected Papers

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Effective Machine Learning Teams

Best Practices for ML Practitioners

Beading With Algorithms

Cellular Automata In Peyote Stitch

Nonlinear Analysis for Human Movement Variability

Theory of Computation for Software Developers

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mining Complex Networks

Advances in Applied Mathematics

Mining Complex Networks

Advances in Applied Mathematics

Introduction to Modern Cryptography

Revised Third Edition

Why Don t Rabbits Rule The World?

Mathematical answers to life s key questions

Rigorous Software Development

An Introduction to Program Verification

Machine Learning with Julia

An Algorithmic Exploration

Applied Mathematics with F#

Pattern Recognition and Machine Learning for Self-Study I

Supervised Learning

Hands-On Generative AI with Transformers and Diffusion Models

A Mathematical Introduction to Data Science with Python

Exploring Computational Geometry

Theory and Python Implementations

Contemporary Research in Mathematics from India

Indian National Science Academy

This product is categorised by