Hybrid Systems

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 7 to 10 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 $79.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.

Hybrid Systems

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 Systems Analysis & Design

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

The Product-Minded Engineer

Building the Right Solutions for Your Users

Systems Analysis and Design

12th edition

Algorithms in C, Parts 1-4

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

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Business Driven Information Systems ISE

9th Edition

DAMA-DMBOK

Data Management Body of Knowledge: 2nd Edition, Revised

Linux Pocket Guide

4th Edition - Essential Commands

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Implementing Service Level Objectives

A Practical Guide to SLIs, SLOs, and Error Budgets

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

System Design on AWS

Building and Scaling Enterprise Solutions

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Refactoring 2ed

Improving the Design of Existing Code

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

Cyber-Secure Load Frequency Control for Power Systems

Rust Programming in easy steps

In Easy Steps

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

The Designer's Guide to VHDL, third edition

Volume 3

Implementing Domain-Driven Design

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

Blockchain and Artificial Intelligence for Secure Computer Vision Technologies and Applications

This product is categorised by