Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / edited by Thomas A. Henzinger, Shankar Sastry.

This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998. The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical method...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Henzinger, Thomas A. (Editor), Sastry, Shankar (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Edition:	1st ed. 1998.
Series:	Lecture Notes in Computer Science, 1386 Springer eBook Collection.
Subjects:	Architecture, Computer. Computers. Microprocessors. Special purpose computers. Software engineering. Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Equations on timed languages
Hybrid control for automotive engine management: The cut-off case
Hybrid control of automotive powertrain systems: A case study
On the composition of hybrid systems
An equivalence between a control network and a switched hybrid system
Hybrid cc with interval constraints
Reachability analysis via face lifting
Automotive control revisited linear inequalities as approximation of reachable sets
Switching controllers based on neural network estimates of stability regions and controller performance
A logic for the specification of continuous systems
Integrating projections
Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems
Reachability verification for hybrid automata
Subanalytic stratifications and bisimulations
Integrated design and simulation of hybrid systems
Hierarchical hybrid systems: Partition deformations and applications to the acrobot system
Formal verification of safety-critical hybrid systems
Strings of vehicles: Modeling and safety conditions
An approach to the verification of the Center-TRACON automation system
Deductive verification of hybrid systems using step
Reduction and decomposition of differential automata: Theory and applications
Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems
Information-based optimization approaches to dynamical system safety verification
Synthesizing controllers for nonlinear hybrid systems
A sufficient condition for controllability of a class of hybrid systems
Hybrid regular expressions
Stabilization of systems with changing dynamics.

Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / edited by Thomas A. Henzinger, Shankar Sastry.

Similar Items