Hybrid systems : computation and control, 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, proceedings / / Rupak Majumdar, Paulo Tabuada (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, : Springer, c2009 |
Descrizione fisica | 1 online resource (XIV, 492 p.) |
Disciplina | 004.19 |
Altri autori (Persone) |
MajumdarRupak
TabuadaPaulo |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Soggetto topico |
Hybrid systems
Intelligent agents (Computer software) |
ISBN | 3-642-00602-7 |
Classificazione |
DAT 240f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Papers -- Applications of MetiTarski in the Verification of Control and Hybrid Systems -- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach -- Safe and Secure Networked Control Systems under Denial-of-Service Attacks -- Actors without Directors: A Kahnian View of Heterogeneous Systems -- Simultaneous Optimal Control and Discrete Stochastic Sensor Selection -- Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks -- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study -- Local Identification of Piecewise Deterministic Models of Genetic Networks -- Distributed Wombling by Robotic Sensor Networks -- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces -- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach -- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models -- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem -- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More -- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions -- Trajectory Based Verification Using Local Finite-Time Invariance -- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program -- Uniform Consensus among Self-driven Particles -- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes -- Decompositional Construction of Lyapunov Functions for Hybrid Systems -- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems -- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems -- Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management -- On Event Based State Estimation -- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer -- Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays -- Specification and Analysis of Network Resource Requirements of Control Systems -- Periodically Controlled Hybrid Systems -- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach -- Bounded and Unbounded Safety Verification Using Bisimulation Metrics -- Short Papers -- The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers -- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems -- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata -- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract) -- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting -- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets -- Distributed Tree Rearrangements for Reachability and Robust Connectivity -- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters -- STORMED Hybrid Games -- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. |
Record Nr. | UNINA-9910484027903321 |
Berlin, : Springer, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hybrid Systems: Computation and Control [[electronic resource] ] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings / / edited by Rupak Majumdar, Paulo Tabuada |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIV, 492 p.) |
Disciplina | 004.19 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Computer systems Software engineering Computers, Special purpose Microprocessors Computer architecture Computer science Computer Communication Networks Computer System Implementation Software Engineering Special Purpose and Application-Based Systems Processor Architectures Computer Science Logic and Foundations of Programming |
ISBN | 3-642-00602-7 |
Classificazione |
DAT 240f
SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Papers -- Applications of MetiTarski in the Verification of Control and Hybrid Systems -- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach -- Safe and Secure Networked Control Systems under Denial-of-Service Attacks -- Actors without Directors: A Kahnian View of Heterogeneous Systems -- Simultaneous Optimal Control and Discrete Stochastic Sensor Selection -- Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks -- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study -- Local Identification of Piecewise Deterministic Models of Genetic Networks -- Distributed Wombling by Robotic Sensor Networks -- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces -- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach -- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models -- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem -- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More -- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions -- Trajectory Based Verification Using Local Finite-Time Invariance -- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program -- Uniform Consensus among Self-driven Particles -- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes -- Decompositional Construction of Lyapunov Functions for Hybrid Systems -- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems -- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems -- Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management -- On Event Based State Estimation -- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer -- Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays -- Specification and Analysis of Network Resource Requirements of Control Systems -- Periodically Controlled Hybrid Systems -- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach -- Bounded and Unbounded Safety Verification Using Bisimulation Metrics -- Short Papers -- The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers -- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems -- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata -- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract) -- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting -- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets -- Distributed Tree Rearrangements for Reachability and Robust Connectivity -- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters -- STORMED Hybrid Games -- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. |
Record Nr. | UNISA-996466039703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|