Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Reachability Analysis Using Polygonal Projections: Label: en
Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design: Label: en
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment: Label: en
STORMED Hybrid Games: Label: en
The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters: Label: en
Distributed Tree Rearrangements for Reachability and Robust Connectivity: Label: en
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets: Label: en
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting: Label: en
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract): Label: en
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata: Label: en
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems: Label: en
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers: Label: en
Bounded and Unbounded Safety Verification Using Bisimulation Metrics: Label: en
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach: Label: en
Periodically Controlled Hybrid Systems: Label: en
Specification and Analysis of Network Resource Requirements of Control Systems: Label: en
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays: Label: en
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer: Label: en
On Event Based State Estimation: Label: en
Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management: Label: en
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems: Label: en
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems: Label: en
Decompositional Construction of Lyapunov Functions for Hybrid Systems: Label: en
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes: Label: en
Uniform Consensus among Self-driven Particles: Label: en
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program: Label: en
Trajectory Based Verification Using Local Finite-Time Invariance: Label: en
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions: Label: en
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More: Label: en
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem: Label: en
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models: Label: en
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach: Label: en
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces: Label: en
Distributed Wombling by Robotic Sensor Networks: Label: en
Local Identification of Piecewise Deterministic Models of Genetic Networks: Label: en
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study: Label: en
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks: Label: en
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection: Label: en
Actors without Directors: A Kahnian View of Heterogeneous Systems: Label: en
Safe and Secure Networked Control Systems under Denial-of-Service Attacks: Label: en
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach: Label: en
Applications of MetiTarski in the Verification of Control and Hybrid Systems: Label: en
A Controller Design Method Under Infrequent, Asynchronous Sensing: Label: en
Fault Accommodation for Hybrid Systems with Continuous and Discrete Faults: Label: en
State Nullification of Switched Systems by Linear Output Feedback: Label: en
On-Line Optimization of Switched-Mode Hybrid Dynamical Systems: Label: en
Hybrid Estimation for Stochastic Piecewise Linear Systems: Label: en
Differential Logic for Reasoning About Hybrid Systems: Label: en
Fully Automated Stability Verification for Piecewise Affine Systems: Label: en
Controller Parameters Selection Through Bifurcation Analysis in a Piecewise-Smooth System: Label: en