Hybrid Systems V [electronic resource] /

Control Synthesis of Hybrid Systems Based on Predicate Invariance -- Computing Approximating Automata for a Class of Linear Hybrid Systems -- On Hybrid Systems and the Modal µ-calculus -- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems -- Controller Scheduling Using Neural Networks: Implementation and Experimental Results -- Rigorous Design of a Fault Diagnosis and Isolation Algorithm -- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems -- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties -- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem -- Hybrid Systems with Finite Bisimulations -- Extracting Stable Timed Automata from Switched Model Reference Systems -- Sliding Mode Model Semantics and Simulation for Hybrid Systems -- Time-Deterministic Hybrid Transition Systems -- Heuristic Optimization and Dynamical System Safety Verification -- A Hybrid Receding—Horizon Control Scheme for Nonlinear Discrete—Time Systems -- Approximating Automata and Discrete Control for Continuous Systems — Two Examples from Process Control -- Action Systems with Continuous Behaviour -- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles -- Optimal Controller Switching for Stochastic Systems -- Robust Control of Hybrid Systems: Performance Guided Strategies -- Analysis of Slope-Parametric Rectangular Automata -- Control of Interval Temporal Systems -- Phase-Space Nonlinear Control Toolbox: The Maglev Experience.

Bibliographic Details

Main Authors:	Antsaklis, Panos. editor., Lemmon, Michael. editor., Kohn, Wolf. editor., Nerode, Anil. editor., Sastry, Shankar. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1999
Subjects:	Computer science., Special purpose computers., Architecture, Computer., Software engineering., Computers., Artificial intelligence., Complexity, Computational., Computer Science., Theory of Computation., Computer System Implementation., Artificial Intelligence (incl. Robotics)., Software Engineering., Special Purpose and Application-Based Systems., Complexity.,
Online Access:	http://dx.doi.org/10.1007/3-540-49163-5
Tags:	Add Tag No Tags, Be the first to tag this record!