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 50 results in range #101 to #150.

Sporadic Control of First-Order Linear Stochastic Systems: Label: en
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction: Label: en
A Stochastic Framework for Hybrid System Identification with Application to Neurophysiological Systems: Label: en
Input-to-State Stability of Discontinuous Dynamical Systems with an Observer-Based Control Application: Label: en
Learning Cycle-Linear Hybrid Automata for Excitable Cells: Label: en
Approximately Bisimilar Finite Abstractions of Stable Linear Systems: Label: en
Decentralized Event-Triggered Broadcasts over Networked Control Systems: Label: en
On the Timing of Discrete Events in Event-Driven Control Systems: Label: en
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates: Label: en
Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles: Label: en
Generating Box Invariants: Label: en
A Policy Iteration Technique for Time Elapse over Template Polyhedra: Label: en
Information Theoretical Approach to Identification of Hybrid Systems: Label: en
Steering a Leader-Follower Team Via Linear Consensus: Label: en
Modular Development of Hybrid Systems for Verification in Coq: Label: en
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics: Label: en
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time: Label: en
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems: Label: en
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata: Label: en
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control: Label: en
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems: Label: en
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries: Label: en
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps: Label: en
On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems: Label: en
Composition of Motion Description Languages: Label: en
Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems: Label: en
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications: Label: en
On Controllability of Timed Continuous Petri Nets: Label: en
Bisimilar Finite Abstractions of Interconnected Systems: Label: en
Input-to-State Stabilization with Quantized Output Feedback: Label: en
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata: Label: en
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems: Label: en
On the Optimality of Dubins Paths across Heterogeneous Terrain: Label: en
Distributed Lyapunov Functions in Analysis of Graph Models of Software: Label: en
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process: Label: en
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization: Label: en
A Decidable Class of Planar Linear Hybrid Systems: Label: en
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems: Label: en
Noncausal Optimal Tracking of Linear Switched Systems: Label: en
Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements: Label: en
Verification of Supervisory Control Software Using State Proximity and Merging: Label: en
Switched and PieceWise Nonlinear Hybrid System Identification: Label: en
LTLC: Linear Temporal Logic for Control: Label: en
Safety and Liveness in Intelligent Intersections: Label: en
Dealing with Nondeterminism in Symbolic Control: Label: en
Complementarity Systems in Constrained Steady-State Optimal Control: Label: en
Observer-Based Control of Linear Complementarity Systems: Label: en
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains: Label: en
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes: Label: en
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis: Label: en