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 26 results in range #1 to #26.

Structural Analysis of Multi-Mode DAE Systems: Label: en
Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints: Label: en
Abnormal Data Classification Using Time-Frequency Temporal Logic: Label: en
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints: Label: en
Relaxed Decidability and the Robust Semantics of Metric Temporal Logic: Label: en
A Small Gain Theorem for Parametric Assume-Guarantee Contracts: Label: en
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants: Label: en
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems: Label: en
Dynamic Periodic Event-Triggered Control for Linear Systems: Label: en
Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters: Label: en
Robust Model Checking of Timed Automata under Clock Drifts: Label: en
Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions: Label: en
Scheduling of Embedded Controllers Under Timing Contracts: Label: en
Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems: Label: en
Formal Synthesis of Stabilizing Controllers for Switched Systems: Label: en
Robust Abstractions for Control Synthesis: Label: en
Invariance Feedback Entropy of Nondeterministic Control Systems: Label: en
Path-Complete Graphs and Common Lyapunov Functions: Label: en
Optimal Data Rate for State Estimation of Switched Nonlinear Systems: Label: en
Reachability Computation for Switching Diffusions: Label: en
Controller Synthesis for Reward Collecting Markov Processes in Continuous Space: Label: en
Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms: Label: en
Sapo: Label: en
SMC: Label: en
On the Polytope Escape Problem for Continuous Linear Dynamical Systems: Label: en
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems: Label: en