000			05377nam a22003855i 4500
001			295299
003			MX-SnUAN
005			20160429155222.0
007			cr nn 008mamaa
008			150903s2005 gw | o |||| 0|eng d
020			_a9783540319542 _99783540319542
024	7		_a10.1007/b106766 _2doi
035			_avtls000348070
039		9	_a201509030442 _bVLOAD _c201405070458 _dVLOAD _y201402071018 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aTK7874.6
100	1		_aMorari, Manfred. _eeditor. _9329609
245	1	0	_aHybrid Systems: Computation and Control : _b8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / _cedited by Manfred Morari, Lothar Thiele.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005.
300			_axii, 684 páginas Also available online. _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v3414
500			_aSpringer eBooks
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 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.
520			_aThis book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005. The 40 revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aThiele, Lothar. _eeditor. _9329610
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783540251088
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b106766 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c295299 _d295299