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

Synthesis of switching controllers using approximately bisimilar multiscale abstractions: Label: en
A predictive control solution for driveline oscillations damping: Label: en
Impulsive control for nanopositioning: Label: en
Characterizing knee-bounce in bipedal robotic walking: Label: en
Automatic abstraction of non-linear systems using change of bases transformations: Label: en
A dynamic algorithm for approximate flow computations: Label: en
Hybridization domain construction using curvature estimation: Label: en
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata: Label: en
Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators: Label: en
Reachable set computation for uncertain time-varying linear systems: Label: en
Quantitative automata model checking of autonomous stochastic hybrid systems: Label: en
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata: Label: en
Quantified differential invariants: Label: en
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems: Label: en
Measurability and safety verification for stochastic hybrid systems: Label: en
Measuring performance of continuous-time stochastic processes using timed automata: Label: en
The earlier the better: Label: en
Analysis of the joint spectral radius via lyapunov functions on path-complete graphs: Label: en
Observability implies observer design for switched linear systems: Label: en
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts: Label: en
Reputation-based networked control with data-corrupting channels: Label: en
Consensus in networked multi-agent systems with adversaries: Label: en
Resource constrained LQR control under fast sampling: Label: en
Impulsive data association with an unknown number of targets: Label: en
A stochastic reach-avoid problem with random obstacles: Label: en
Variational formulation and optimal control of hybrid lagrangian systems: Label: en
Hybrid controllers for tracking of impulsive reference state trajectories: Label: en
Synthesis of memory-efficient "real-time" controllers for safety objectives: Label: en
Robust discrete synthesis against unspecified disturbances: Label: en
Joint synthesis of switching and feedback for linear systems in discrete time: Label: en