Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Henzinger, Thomas A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sastry, Shankar (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Έκδοση: 1st ed. 1998.
• Σειρά: Lecture Notes in Computer Science, 1386
• Θέματα: Architecture, Computer.; Computers.; Microprocessors.; Special purpose computers.; Software engineering.; Computer logic.; Computer System Implementation.; Theory of Computation.; Processor Architectures.; Special Purpose and Application-Based Systems.; Software Engineering.; Logics and Meanings of Programs.

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...

Πίνακας περιεχομένων:

• 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.