000 05507nam a22006015i 4500
001 978-3-540-31954-2
003 DE-He213
005 20240730194445.0
007 cr nn 008mamaa
008 110116s2005 gw | s |||| 0|eng d
020 _a9783540319542
_9978-3-540-31954-2
024 7 _a10.1007/b106766
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aHybrid Systems: Computation and Control
_h[electronic resource] :
_b8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
_cedited by Manfred Morari, Lothar Thiele, Francesca Rossi.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXII, 684 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v3414
505 0 _aInvited 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 forModel 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.
650 0 _aComputer science.
_99832
650 0 _aComputers, Special purpose.
_946653
650 0 _aMicroprocessors.
_9157144
650 0 _aComputer architecture.
_93513
650 0 _aSoftware engineering.
_94138
650 1 4 _aTheory of Computation.
_9157145
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aProcessor Architectures.
_9157146
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aMorari, Manfred.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157147
700 1 _aThiele, Lothar.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157148
700 1 _aRossi, Francesca.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9157149
710 2 _aSpringerLink (Online service)
_9157150
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540251088
776 0 8 _iPrinted edition:
_z9783540808374
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v3414
_9157151
856 4 0 _uhttps://doi.org/10.1007/b106766
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95210
_d95210