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

From LTL to rLTL monitoring: Label: en
AReN: Label: en
Piece-wise analytic trajectory computation for polytopic switching between stable affine systems: Label: en
Worst-case topological entropy and minimal data rate for state observation of switched linear systems: Label: en
Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata: Label: en
Reachability analysis for hybrid systems with nonlinear guard sets: Label: en
Utilizing dependencies to obtain subsets of reachable sets: Label: en
Resilient abstraction-based controller design: Label: en
Inter-triggering hybrid automata: Label: en
AMYTISS: Label: en
dtControl: Label: en
Convergence of ant colony multi-agent swarms: Label: en
Case study: Label: en
Formal verification of braking while swerving in automobiles: Label: en
A deontic logic analysis of autonomous systems' safety: Label: en
Synthesizing barrier certificates using neural networks: Label: en
Robust output feedback control with guaranteed constraint satisfaction: Label: en
A simple hierarchy for computing controlled invariant sets: Label: en
Compositional construction of control barrier functions for interconnected control systems: Label: en
Local lipschitzness of reachability maps for hybrid systems with applications to safety: Label: en
Implicit structural analysis of multimode DAE systems: Label: en
Does sample-time emulation preserve exponential stability?: Label: en
A computable and compositional semantics for hybrid automata: Label: en
dtControl: Label: en
Compositional synthesis via a convex parameterization of assume-guarantee contracts: Label: en
On abstraction-based controller design with output feedback: Label: en
Symbolic controller synthesis for Büchi specifications on stochastic systems: Label: en
Conformance verification for neural network models of glucose-insulin dynamics: Label: en
Statistical verification of learning-based cyber-physical systems: Label: en
Falsification of cyber-physical systems with robustness-guided black-box checking: Label: en
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings: Label: en
Interpretable classification of time-series data using efficient enumerative techniques: Label: en
Sufficient conditions for satisfaction of formulas with until operators in hybrid systems: Label: en