1 option
Hybrid Systems: Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / edited by Manfred Morari, Lothar Thiele, Francesca Rossi.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 3414.
- Theoretical Computer Science and General Issues ; 3414
- Language:
- English
- Subjects (All):
- Computers.
- Computers, Special purpose.
- Microprocessors.
- Software engineering.
- Computer logic.
- Theory of Computation.
- Special Purpose and Application-Based Systems.
- Processor Architectures.
- Software Engineering.
- Computation by Abstract Devices.
- Logics and Meanings of Programs.
- Local Subjects:
- Theory of Computation.
- Special Purpose and Application-Based Systems.
- Processor Architectures.
- Software Engineering.
- Computation by Abstract Devices.
- Logics and Meanings of Programs.
- Physical Description:
- 1 online resource (XII, 684 pages).
- Edition:
- First edition 2005.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-31954-2
- 9783540319542
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.