CDC2000 Hybrid Systems Methods

Hybrid Systems Methods
Home Full List of Titles 1: Proceedings of CDC2000 Discrete Event Systems Control in Communication Systems Optimal Control and Applications I Optimisation Approaches and Methods Model Predictive Control Advances in Linear Estimation Stochastic and Uncertain Systems Nonlinear Control and Applications Nonlinear Estimation and Filtering Formation Control and its Applications New Approaches to Fuzzy Control Manufacturing Systems Automotive Applications Stability Issues in Hybrid Control Recent Advances in Stochastic Networks Optimal Control and Applications II Robust Controller Design - mu, L1 and H2 Constrained and Receding Horizon Control Identification and Control around the World Markov Decision Processes Nonlinear Optimisation Observers for Nonlinear Systems Motion Planning Neural / Fuzzy Stability and Control Motor Control Control of Quantum Phenomena I Hybrid Systems Methods Control in Communication Networks Robustness and Optimisation Bumpless Transfer, Antiwindup and Saturation Adaptive Control: Linear Systems Estimation and Closed Loop Identification Control of Markov Processes Nonlinear Filtering and Control Modelling, Identification and Validation of Nonlinear Systems Differential Geometric Control Theory for Mechanical Systems Nonlinear Output Feedback Control Pneumatics and Compression Systems Control of Quantum Phenomena II Stability of Hybrid Systems Performance Analysis in Communication Networks Adaptive Control of Nonlinear Systems LMI Methods in Design Robust Control of Time Delay Systems Subspace Identification Methods Nonlinear Stochastic Filtering and Estimation Bifurcations, Chaos and Control I New Progress in Synthesis of Nonlinear Systems I Implementation Issues of Sliding Mode Control Theory Control of Mixing in Shear Flows Novel Neural Network Control Techniques for Industrial Motion Control Systems Physiological Control Systems Optimal Control of Hybrid Systems Stochastic Models for Communication Networks Control and Stabilisation of Nonlinear Systems New Directions in Robust Control Linear Systems Theory Advanced Topics in Systems Theory Estimation in Action Bifurcations, Chaos and Control II New Progress in Synthesis of Nonlinear Systems II Numerical Design and Analysis Techniques for Nonlinear Systems Analysis and Control of Underactuated Systems Sliding Mode Control I Challenges in the Application of Control to Computer Systems Estimation and Diagnosis of Discrete Event Systems Communications and Games Optimal Control Stochastic Systems Model Reduction Methodologies Identification and Subspace Methods Applications of Nonlinear Adaptive Control Advances in Nonlinear Output Feedback Design The Behavioural Approach to Systems and Control Vision Based Estimation and Control: Recent Advances and Open Problems Agile Control of Military Operations Sliding Mode Control II Model-based Fault Diagnosis of Industrial Processes Discrete Event Systems / Petri Nets System Identification and Confidence Estimation New Approaches to H-Infinity Control I Probabilistic Approaches to Robust Control Time Delay System Stabilisation Identification Methods Controlled Stochastic Processes Output Feedback of Nonlinear Systems Topics in Nonlinear Stabilisation Mobile Robots: Tracking Control Robust Control of Nonlinear Systems Power Systems Stabilisation and Control Disk Drive Control Hybrid Control Applications Discrete Time Systems New Approaches to H-Infinity Control II Linear Systems with Saturating Actuators New Theories in Distributed Parameter Systems Applications of Estimation and Identification Stochastic Control and Tuning Methodologies Control of Nonlinear Systems Iterative Learning and Control Coordinating Robot Systems Nonlinear Time Varying Systems Novel Applications of Neural Networks Aerospace Applications Switched Systems Implicit and Descriptor Systems LQG Periodic Systems and Disturbances New Horizons for Distributed Parameter Systems State Estimation Learning and Neuro-Control Nonlinear Control and Stabilisation I Tracking Vision Servoing Controllability of Nonlinear Systems Control of Flexible Systems Electro-Mechanical Systems Robust Control Methods and Applications Fault Detection and Diagnosis Optimisation and Applications Robust Stability Analysis Numerical Methods in Control Filtering in Continuous Time Stochastic Systems Interplay between Control and Signal Processing Fault Detection and Analysis Nonlinear Dynamical Systems Nonlinear Time Delay Systems Computational Issues in Nonlinear Control Disturbance Rejection Process Control Industry Applications Linear Parameter Varying Systems Linear Control Systems Dynamic and Nonlinear Programming Model Reduction Applications New Techniques for Control and Systems: Numerical Linear Algebra Estimation and Identification using Hidden Markov Models Applications of Stochastic Control Topics in Linear Design Nonlinear Control and Stabilisation II Ambulatory Robot Systems Chaotic and Oscillatory Systems Biomedical System Control Integrated Control and CPU Scheduling Linear Design Techniques Adaptive Disturbance / Noise Compensation Nonlinear Model Predictive Control Sensitivity Design, Analysis and Limitations Analysis of Linear Systems Linear Matrix Inequalities in Design Lyapunov's 2nd Method Robotics: Tracking Control Lagrangian and Hamiltonian Theory Variable Structure Control Machine Vision Signal Processing Methods in Control Applied Nonlinear Control Author Index A B C D E F G H I J K L M N O P Q R S T U V W X Y Z	Performance Driven Reachability Analysis for Optimal Scheduling and Control of Hybrid Systems Authors: Alberto Bemporad, Lorenzo Giovanardi, Fabio D. Torrisi, Volume: 1, Page 969 Paper number 1844 Abstract: In this paper we tackle the optimal control problem for piecewise linear and hybrid systems by using a computational approach based on performance-driven reachability analysis. The idea consists of coupling a reach-set exploration algorithm, essentially based on repetitive use of linear programming, to a quadratic programming solver which selectively drives the exploration. In particular, an upper bound on the optimal cost is continually updated during the procedure, and used as a criterion to discern non-optimal evolutions and to prevent their exploration. The result is an efficient strategy of branch-and-bound nature, which is especially attractive for solving long-horizon hybrid optimal control and scheduling problems. CD001844.PDF (From Author) TOP Forward Algorithms for Optimal Control of a Class of Hybrid Systems Authors: Young C. Cho, Christos G. Cassandras, David L. Pepyne, Volume: 1, Page 975 Paper number 1736 Abstract: This paper considers optimal control problems for a class of hybrid systems motivated by the structure of manufacturing environments that integrate process and operations control. We derive new necessary and sufficient conditions that allow us to determine the structure of the optimal sample path and hence decompose a large non-convex, non-differentiable problem into a set of smaller convex, constrained optimization problems. Using these conditions, we develop an efficient, low-complexity, scalable algorithm for explicitly determining the optimal controls. Several numerical examples are included to illustrate the efficacy of the proposed algorithm. CD001736.PDF (From Author) TOP On the Global Controllability of Hybrid Systems: Hybrifolds and Fountains Authors: Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines, Volume: 1, Page 981 Paper number 1800 Abstract: In this paper we investigate the question of the global controllability posed for a class of control hybrid systems. New sufficient conditions for the global controllability are obtained in terms of the so-called hybrid fountains. The main tool for our analysis is the notion of a controlled hybrifold. CD001800.PDF (From Author) TOP A Hybrid System Approach Towards Redundant Fault-Tolerant Control Systems Authors: Zhenyu Yang, Volume: 1, Page 987 Paper number 1366 Abstract: This paper discusses the verification problem of Redundancy Management Systems (RMS) in fault-tolerant control by using a hybrid system approach - the Discrete-Event-System (DES) abstracting strategy. The qualitative fault-tolerant criteria can be formally verified if a DES model is abstracted from the continuous/discrete-time dynamical system in a consistent way. In this paper the acquisition of the DES model and verification of fault-tolerant criteria are illustrated based on a concrete RMS of a redundant flight control system. CD001366.PDF (From Author) TOP Design of Hybrid Systems with Guaranteed Performance Authors: Nicola Elia, Volume: 1, Page 993 Paper number 2128 Abstract: In this paper we show that, for a linear system, any worst-case energy gain greater than the optimal H_(infinity) norm is achievable by a logarithmically quantized state feedback. We also show how to derive the coarsest logarithmic quantizer provable via quadratic Lyapunov functions for a given level of performance. The smallest logarithmic base, for a given performance level, is obtained via a bisection algorithm applied to a parametric feasibility LMI problem. The result highlights the tradeoff between performance degradation versus coarseness of quantization. Simulations suggest that the upper bound derived in this paper is a realistic measure of the actual performance under logarithmic quantization. The end result is the systematic design of a discrete event controller that stabilizes a linear system and guarantees a certain level of performance measured in terms of the worst-case close loop energy gain. The resulting hybrid system is implicitly verified. CD002128.PDF (From Author) TOP Ellipsoidal Approximations of Reachable Sets for Linear Games Authors: Norihiko Shishido, Claire J. Tomlin, Volume: 1, Page 999 Paper number 2182 Abstract: Verification of safety properties for continuous, discrete, and hybrid systems requires computation of the reachable sets of states for such systems. It is of great interest to develop efficient and scalable numerical algorithms for computation and representation of this reachable set. In this paper, we compute reachable sets for linear differential games, in which one player (the `control') tries to keep the state of the system outside of a given unsafe subset of the state space; and the second player (the `disturbance') tries to push the system into this subset. We model this unsafe set, the input set, and the disturbance set as ellipsoids, and we derive conditions under which the reachable set at each point in time is an ellipsoid. We give an integral form equation whose solution represents this ellipsoid, and we present special cases in which this ellipsoid may be computed analytically. We conclude with a set of examples. CD002182.PDF (From Author) TOP