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

Formal Controller Synthesis from Hybrid Programs: Label: en
DSValidator: Label: en
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow: Label: en
Modeling the Impact of Vehicle Platooning on Highway Congestion: Label: en
Improving validated computation of Viability Kernels: Label: en
State Estimation of Dynamical Systems with Unknown Inputs: Label: en
Algorithms for exact and approximate linear abstractions of polynomial continuous systems: Label: en
Localizing Faults in Simulink/Stateflow Models with STL: Label: en
Parameter Invariant Monitoring for Signal Temporal Logic: Label: en
Efficient Parametric Identification for STL: Label: en
Specifying Timed Patterns using Temporal Logic: Label: en
From Uncertainty Data to Robust Policies for Temporal Logic Planning: Label: en
Formal Guarantees in Data-Driven Model Identification and Control Synthesis: Label: en
Constructing Control System Abstractions from Modular Components: Label: en
ROCS: Label: en
Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems: Label: en
Lyapunov Design for Event-Triggered Exponential Stabilization: Label: en
Stabilizing switched nonlinear systems under restricted switching: Label: en
A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing: Label: en
Model Checking Bounded Continuous-time Extended Linear Duration Invariants: Label: en
Clock Allocation in Timed Automata and Graph Colouring: Label: en
Accurate reachability analysis of uncertain nonlinear systems: Label: en
Under-Approximating Reach Sets for Polynomial Continuous Systems: Label: en
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices: Label: en
Bisimulations, logics, and trace distributions for stochastic systems with rewards: Label: en
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes: Label: en
Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems: Label: en
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness: Label: en