Hybrid Systems V [electronic resource] / edited by Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry.

Contributor(s): Antsaklis, Panos [editor.] | Lemmon, Michael [editor.] | Kohn, Wolf [editor.] | Nerode, Anil [editor.] | Sastry, Shankar [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 1567Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Description: CDLXVIII, 458 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540491637Subject(s): Computer science | Software engineering | Information theory | Computer Science | Theory of Computation | Software Engineering | Special Purpose and Application-Based Systems | Systems and Information Theory in Engineering | Control EngineeringAdditional physical formats: Printed edition:: No titleDDC classification: 004.0151 LOC classification: QA75.5-76.95Online resources: Click here to access online
Contents:
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.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK6680

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha