混合动力系统:计算与控制Hybrid Systems: Computation and Control
点此进入淘宝搜索页搜索分類: 图书,进口原版书,计算机 Computers & Internet ,
作者： Claire J. Tomlin等著
出 版 社： Oversea Publishing House
出版时间：字数：版次： 1页数： 478印刷时间： 2002/04/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9783540433217包装： 平装内容简介
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.
目录
Abstracts of invited presentations
Hybrid and Embedded Software Technologies for Production Large-Scale Systems
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints
From Models to Code: The Missing Link in Embedded Software
Papers
Hybrid System Models of Navigation Strategies for Games and Animations
Hybrid Control of a Truck and Trailer Vehicle
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Towards Computing Phase Portraits of Polygonal Differential Inclusions
Dynamical Qualitative Analysis of Evolutionary Systems
Design of Observers for Hybrid Systems
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques
On the Optimal Control Law for Linear Discrete Time Hybrid Systems
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies
A Comparison of Control Problems for Timed and Hybrid Systems
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density
Analysis of Discrete-Time PWA Systems with Logic States
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
Computation of Root-Mean-Square Gains of Switched Linear Systems
Mode Estimation of Probabilistic Hybrid Systems
Symmetry Reduction of a Class of Hybrid Systems
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
Qualitative Modeling and Heterogeneous Control of Global System Behavior
An Approach to Model-Based Diagnosis of Hybrid Systems
Information-Based Alpha-Beta Search and the Homicidal Chauffeur
Synthesis of Robust Control Systems under Resource Constraints
Optimal Control of Quantized Input Systems
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems
Hybrid Kernels and Capture Basins for Impulse Constrained Systems
Ordered Upwind Methods for Hybrid Control
Discrete-Time Refinement of Hybrid Automata
Control of Switched Hybrid Systems Based on Disjunctive Formulations
Composing Abstractions of Hybrid Systems
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach
Series of Abstractions for Hybrid Automata
Author Index
