Hybrid Systems: Computation and Control
Springer Berlin (Verlag)
978-3-642-00601-2 (ISBN)
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 toHybrid 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.
Erscheint lt. Verlag | 27.3.2009 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XIV, 492 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 760 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
Schlagworte | algorithms • Biological Systems • branching bisimulation • Cisco • Cooperative Control • Design • discrete abstractions • Dynamical Systems • Embedded Systems • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • hybrid automata • hybrid control systems • Hybrid Systems • Markov Processes • Model-Checking • Models of Computation • Multi-agents systems • Networked control systems • Optimization • parametric uncertainty • Reactive Systems • Real-Time Systems • stochastic optimization • structured analysis • Switched Systems • symbolic decomposition • systematic simulation • systems modeling • systems verification • timed automata • variational methods |
ISBN-10 | 3-642-00601-9 / 3642006019 |
ISBN-13 | 978-3-642-00601-2 / 9783642006012 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich