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

Amir Pnueli and the dawn of hybrid systems: Label: en
Stabilization of planar switched linear systems using polar coordinates: Label: en
A generating function approach to the stability of discrete-time switched linear systems: Label: en
Modeling and verification of stochastic hybrid systems using HIOA: Label: en
On the connections between PCTL and dynamic programming: Label: en
Bayesian statistical model checking with application to Simulink/Stateflow verification: Label: en
Safe compositional network sketches: Label: en
Automatic invariant generation for hybrid systems using ideal fixed points: Label: en
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems: Label: en
Convergence results for ant routing algorithms viastochastic approximation: Label: en
Distributed Kalman Filter algorithms for self-localization of mobile devices: Label: en
Comparison of overapproximation methods for stability analysis of networked control systems: Label: en
Stealthy deception attacks on water SCADA systems: Label: en
Rank properties of poincare maps for hybrid systems with applications to bipedal walking: Label: en
Identifiability of discrete-time linear switched systems: Label: en
On infinity norms as Lyapunov functions for piecewise affine systems: Label: en
Oscillation analysis of linearly coupled piecewise affine systems: Label: en
Synthesis using approximately bisimilar abstractions: Label: en
Receding horizon control for temporal logic specifications: Label: en
Timed I/O automata: Label: en
On a control algorithm for time-varying processor availability: Label: en
Real-time scheduling of mixture-of-experts systems with limited resources: Label: en
Timed automata with observers under energy constraints: Label: en
A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems: Label: en
From synchronous programs to symbolic representations of hybrid systems: Label: en
On integration of event-based estimation and robust MPC in a feedback loop: Label: en
Compositional analysis for linear control systems: Label: en
Accurate hybridization of nonlinear systems: Label: en
Succinct discrete time approximations of distributed hybrid automata: Label: en