Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Morari, Manfred (Επιμελητής έκδοσης), Thiele, Lothar (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3414
• Θέματα: Computer science.; Microprocessors.; Special purpose computers.; Software engineering.; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Special Purpose and Application-Based Systems.; Processor Architectures.; Software Engineering.; Computation by Abstract Devices.; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

• Invited Papers
• Coordinated Control for Highly Reconfigurable Systems
• Operational Semantics of Hybrid Systems
• SOS Methods for Semi-algebraic Games and Optimization
• Regular Papers
• The Discrete Time Behavior of Lazy Linear Hybrid Automata
• Perturbed Timed Automata
• A Homology Theory for Hybrid Systems: Hybrid Homology
• Observability of Switched Linear Systems in Continuous Time
• Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains
• Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli
• Optimal Control of Discrete Hybrid Stochastic Automata
• Hybrid Decentralized Control of Large Scale Systems
• On the Stabilisation of Switching Electrical Power Converters
• Bisimulation for General Stochastic Hybrid Systems
• Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction
• Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
• Refining Abstractions of Hybrid Systems Using Counterexample Fragments
• PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
• Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility
• Reachability of Uncertain Linear Systems Using Zonotopes
• Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates
• Polynomial Stochastic Hybrid Systems
• Non-uniqueness in Reverse Time of Hybrid System Trajectories
• Comparison of Four Procedures for the Identification of Hybrid Systems
• An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems
• Mode-Automata Based Methodology for Scade
• Taylor Approximation for Hybrid Systems
• Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems
• Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation
• Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties
• Learning Multi-modal Control Programs
• A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
• On Transfinite Hybrid Automata
• Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration
• Interchange Formats for Hybrid Systems: Review and Proposal
• Primal–Dual Tests for Safety and Reachability
• Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
• Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
• Generating Polynomial Invariants for Hybrid Systems
• Modeling, Optimization and Computation for Software Verification
• Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
• Sensor/Actuator Abstractions for Symbolic Embedded Control Design
• Modeling and Control of Networked Control Systems with Random Delays
• Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.