Hybrid systems : computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings / / Manfred Morari, Lothar Thiele (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
Descrizione fisica | 1 online resource (XII, 684 p.) |
Disciplina | 004.0151 |
Altri autori (Persone) |
MorariManfred
ThieleLothar |
Collana | Lecture notes in computer science |
Soggetto topico |
Hybrid computers
Digital control systems |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910483750303321 |
Berlin ; ; New York, : Springer, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / / Nancy A. Lynch, Bruce H. Krogh, (Eds.) |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2000] |
Descrizione fisica | 1 online resource (XII, 465 p.) |
Disciplina | 004.1/9 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Hybrid computers
Digital control systems |
ISBN | 3-540-46430-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision -- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software -- Model-Based Autonomous Systems for Robotic Space Exploration -- Models of Computation and Simulation of Hybrid Systems -- Selected Presentations -- Modular Specification of Hybrid Systems in Charon -- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems -- Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine -- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems -- Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications -- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations -- Theory of Optimal Control Using Bisimulations -- Behavior Based Robotics Using Hybrid Automata -- Hybrid Controllers for Hierarchically Decomposed Systems -- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods -- Robust Undecidability of Timed and Hybrid Systems -- Towards a Theory of Stochastic Hybrid Systems -- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications -- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System -- Ellipsoidal Techniques for Reachability Analysis -- Uniform Reachability Algorithms -- On the Existence of Solutions to Controlled Hybrid Automata -- Nonlinear Stabilization by Hybrid Quantized Feedback -- Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations -- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems -- Hybrid Systems Diagnosis -- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata -- Level Set Methods for Computation in Hybrid Systems -- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems -- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode -- Hybrid Systems Verification by Location Elimination -- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models -- Stability of Hybrid Systems Using LMIs — A Gear-Box Application -- Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties -- Decidable Controller Synthesis for Classes of Linear Systems -- Towards a Geometric Theory of Hybrid Systems -- Controlled Invariance of Discrete Time Systems -- Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. |
Record Nr. | UNINA-9910143634803321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2000] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings / / Nancy A. Lynch, Bruce H. Krogh, (Eds.) |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2000] |
Descrizione fisica | 1 online resource (XII, 465 p.) |
Disciplina | 004.1/9 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Hybrid computers
Digital control systems |
ISBN | 3-540-46430-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision -- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software -- Model-Based Autonomous Systems for Robotic Space Exploration -- Models of Computation and Simulation of Hybrid Systems -- Selected Presentations -- Modular Specification of Hybrid Systems in Charon -- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems -- Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine -- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems -- Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications -- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations -- Theory of Optimal Control Using Bisimulations -- Behavior Based Robotics Using Hybrid Automata -- Hybrid Controllers for Hierarchically Decomposed Systems -- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods -- Robust Undecidability of Timed and Hybrid Systems -- Towards a Theory of Stochastic Hybrid Systems -- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications -- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System -- Ellipsoidal Techniques for Reachability Analysis -- Uniform Reachability Algorithms -- On the Existence of Solutions to Controlled Hybrid Automata -- Nonlinear Stabilization by Hybrid Quantized Feedback -- Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations -- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems -- Hybrid Systems Diagnosis -- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata -- Level Set Methods for Computation in Hybrid Systems -- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems -- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode -- Hybrid Systems Verification by Location Elimination -- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models -- Stability of Hybrid Systems Using LMIs — A Gear-Box Application -- Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties -- Decidable Controller Synthesis for Classes of Linear Systems -- Towards a Geometric Theory of Hybrid Systems -- Controlled Invariance of Discrete Time Systems -- Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. |
Record Nr. | UNISA-996465616803316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2000] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings / / Frits W. Vaandrager, Jan H. van Schuppen (editors) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (CCXCII, 282 p.) |
Disciplina | 004.19 |
Collana | Lecture notes in computer science |
Soggetto topico | Hybrid computers |
ISBN | 3-540-48983-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | SACRES: A Step Ahead in the Development of Critical Avionics Applications -- Approximating Hybrid System Dynamics for Analysis and Control -- High-Level Modeling and Analysis of an Air-Traffic Management System -- Geometric Categories, O-Minimal Structures and Control -- Polyhedral Flows in Hybrid Automata -- As Soon as Possible: Time Optimal Control for Timed Automata -- Verification of Hybrid Systems via Mathematical Programming -- Orthogonal Polyhedra: Representation and Computation -- A Geometric Approach to Bisimulation and Verification of Hybrid Systems -- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations -- Path Planning and Flight Controller Scheduling for an Autonomous Helicopter -- Reachability Analysis Using Polygonal Projections -- Scale-Independent Hysteresis Switching -- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps -- A New Class of Decidable Hybrid Systems -- Synthesis of Control Software in a Layered Architecture from Hybrid Automata -- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages -- Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions -- Integration of Analog and Discrete Synchronous Design -- Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis -- Refinement and Continuous Behaviour -- Computing Controllers for Nonlinear Hybrid Systems -- Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. |
Record Nr. | UNINA-9910143468903321 |
Berlin : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings / / Frits W. Vaandrager, Jan H. van Schuppen (editors) |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (CCXCII, 282 p.) |
Disciplina | 004.19 |
Collana | Lecture notes in computer science |
Soggetto topico | Hybrid computers |
ISBN | 3-540-48983-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | SACRES: A Step Ahead in the Development of Critical Avionics Applications -- Approximating Hybrid System Dynamics for Analysis and Control -- High-Level Modeling and Analysis of an Air-Traffic Management System -- Geometric Categories, O-Minimal Structures and Control -- Polyhedral Flows in Hybrid Automata -- As Soon as Possible: Time Optimal Control for Timed Automata -- Verification of Hybrid Systems via Mathematical Programming -- Orthogonal Polyhedra: Representation and Computation -- A Geometric Approach to Bisimulation and Verification of Hybrid Systems -- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations -- Path Planning and Flight Controller Scheduling for an Autonomous Helicopter -- Reachability Analysis Using Polygonal Projections -- Scale-Independent Hysteresis Switching -- Well-Posedness of a Class of Piecewise Linear Systems with No Jumps -- A New Class of Decidable Hybrid Systems -- Synthesis of Control Software in a Layered Architecture from Hybrid Automata -- An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages -- Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions -- Integration of Analog and Discrete Synchronous Design -- Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis -- Refinement and Continuous Behaviour -- Computing Controllers for Nonlinear Hybrid Systems -- Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. |
Record Nr. | UNISA-996465507503316 |
Berlin : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hybrid systems : computation and control : 14th international conference, HSCC 2011,Chicago, Illinois, USA, April 12-14, 2011 : proceedings |
Autore | Caccamo Marco |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 2011 |
Descrizione fisica | 1 online resource (330 p.;) |
Disciplina | 004.1/9 |
Collana | ACM Conferences |
Soggetto topico |
Hybrid computers
Digital control systems Engineering & Applied Sciences Computer Science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | HSCC '11 |
Record Nr. | UNINA-9910376510803321 |
Caccamo Marco | ||
[Place of publication not identified], : Springer, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid systems V / / Panos J. Antsaklis [and four others], editors |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
Descrizione fisica | 1 online resource (CDLXVIII, 458 p.) |
Disciplina | 004.19 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Hybrid computers |
ISBN | 3-540-49163-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465504903316 |
Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hybrid systems V / / Panos J. Antsaklis [and four others], editors |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
Descrizione fisica | 1 online resource (CDLXVIII, 458 p.) |
Disciplina | 004.19 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Hybrid computers |
ISBN | 3-540-49163-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910143469503321 |
Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Workshop on Hybrid Intelligent Models and Applications proceedings |
Pubbl/distr/stampa | [Piscataway, N.J.], : IEEE |
Disciplina | 006.3 |
Soggetto topico |
Soft computing
Hybrid computers Intelligent control systems Neural networks (Computer science) |
Soggetto genere / forma | Conference papers and proceedings. |
ISSN | 2167-8219 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
HIMA
Hybrid Intelligent Models and Applications proceedings |
Record Nr. | UNINA-9910625186103321 |
[Piscataway, N.J.], : IEEE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
IEEE Workshop on Hybrid Intelligent Models and Applications proceedings |
Pubbl/distr/stampa | [Piscataway, N.J.], : IEEE |
Disciplina | 006.3 |
Soggetto topico |
Soft computing
Hybrid computers Intelligent control systems Neural networks (Computer science) |
Soggetto genere / forma | Conference papers and proceedings. |
ISSN | 2167-8219 |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
HIMA
Hybrid Intelligent Models and Applications proceedings |
Record Nr. | UNISA-996279286203316 |
[Piscataway, N.J.], : IEEE | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|