混合动力系统:计算与控制Hybrid Systems: Computation and Control azw3 下载地址 百度云 2025 极速 在线

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

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：混合动力系统:计算与控制Hybrid Systems: Computation and Control在线阅读

在线听书地址：混合动力系统:计算与控制Hybrid Systems: Computation and Control在线收听

在线购买地址：混合动力系统:计算与控制Hybrid Systems: Computation and Control在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

在线阅读本书

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.