Lecture Notes in Computer Science : Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings - Freek Wiedijk

Instant online reading.
Don't wait for delivery!
Go digital and save!

Lecture Notes in Computer Science

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

By: Freek Wiedijk (Editor), Oded Maler (Editor), Amir Pnueli (Editor)

Write A Review

Paperback | 18 March 2003

At a Glance

Paperback
576 Pages

Dimensions(cm)
23.5 x 15.88 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 Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98), Nijmegen, The Neth- lands (HSCC'99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.

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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Hardware Mainframes & Minicomputers Computer Science Systems Analysis & Design Computer Architecture & Logic Design Artificial Intelligence Expert Systems & Knowledge-Based Systems Graphical & Digital Media Applications 3D Graphics & Modelling Computer Programming & Software Development

Mathematical Theory of Computation

Abstracts of Invited Presentations
The Mathematics of Matter and the Mathematics of Mind	p. 1
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal	p. 2
Developing Home Robotics Products: Challenges and Lessons Learned	p. 3
Regular Contributions
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction	p. 4
Reachability Analysis of Nonlinear Systems Using Conservative Approximation	p. 20
Mode Reconstruction for Source Coding and Multi-modal Control	p. 36
Hybrid Control Design for a Wheeled Mobile Robot	p. 50
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems	p. 66
Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions	p. 81
A Greedy Approach to Identification of Piecewise Affine Models	p. 97
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems	p. 113
Reachability Questions in Piecewise Deterministic Markov Processes	p. 126
Automatic Verification of a Turbogas Control System with the Murϕ Verifier	p. 141
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System	p. 156
Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators	p. 172
Conditions of Optimal Classification for Piecewise Affine Regression	p. 188
Approximate Stabilisation of Uncertain Hybrid Systems	p. 203
Efficient Mode Enumeration of Compositional Hybrid Systems	p. 216
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata	p. 233
Modelling, Well-Posedness, and Stability of Switched Electrical Networks	p. 249
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach	p. 267
On Systematic Simulation of Open Continuous Systems	p. 283
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods	p. 298
Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions	p. 314
On the Causality of Mixed-Signal and Hybrid Models	p. 328
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata	p. 343
Multi-object Adaptive Cruise Control	p. 359
Universality and Language Inclusion for Open and Closed Timed Automata	p. 375
On the Application of Hybrid Control to CPU Reservations	p. 389
Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback	p. 405
Qualitative Heterogeneous Control of Higher Order Systems	p. 417
The -Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems	p. 435
Hybrid Modelling and Control of Power Electronics	p. 450
On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, and Location Schedules	p. 466
Efficient Representation and Computation of Reachable Sets for Hybrid Systems	p. 482
Model Checking LTL over Controllable Linear Systems Is Decidable	p. 498
Approximate Reachability for Linear Systems	p. 514
Observability of Linear Hybrid Systems	p. 526
Results and Perspectives on Computational Methods for Optimal Control of Switched Systems	p. 540
Author Index	p. 557
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, 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

AI Engineering

Building Applications with Foundation Models

Swim Training Patterns

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

Algorithms in C, Parts 1-4

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

Discrete Mathematics for Computing

Grassroots

Effective Machine Learning Teams

Best Practices for ML Practitioners

Nonlinear Analysis for Human Movement Variability

Introduction to Modern Cryptography

Revised Third Edition

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

Zhang Time Discretization (ZTD) Formulas and Applications

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Applied Mathematics with F#

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Machine Learning Pocket Reference

Working with Structured Data in Python

Linear Algebra with Applications in Machine Learning

From Intuitive Understanding to Python Coding

This product is categorised by