Pages that link to "Item:Q3523094"

The following pages link to Hybrid Systems: Computation and Control (Q3523094):

Displaying 50 items.

• Markov Set-Chains as Abstractions of Stochastic Hybrid Systems (Q3523095) (← links)
• On the Maximum Principle for Impulsive Hybrid Systems (Q3523096) (← links)
• Algebraic Identification of MIMO SARX Models (Q3523097) (← links)
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098) (← links)
• Controller Synthesis with Budget Constraints (Q3523099) (← links)
• Trading Infinite Memory for Uniform Randomness in Timed Games (Q3523100) (← links)
• Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components (Q3523101) (← links)
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
• A Control Lyapunov Approach to Predictive Control of Hybrid Systems (Q3523103) (← links)
• Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems (Q3523104) (← links)
• Anytime Control Algorithms for Embedded Real-Time Systems (Q3523105) (← links)
• Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (Q3523106) (← links)
• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata (Q3523107) (← links)
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q3523108) (← links)
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis (Q3523109) (← links)
• Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes (Q3523110) (← links)
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
• Observer-Based Control of Linear Complementarity Systems (Q3523112) (← links)
• Complementarity Systems in Constrained Steady-State Optimal Control (Q3523113) (← links)
• Dealing with Nondeterminism in Symbolic Control (Q3523114) (← links)
• Safety and Liveness in Intelligent Intersections (Q3523117) (← links)
• LTLC: Linear Temporal Logic for Control (Q3523118) (← links)
• Switched and PieceWise Nonlinear Hybrid System Identification (Q3523119) (← links)
• Verification of Supervisory Control Software Using State Proximity and Merging (Q3523120) (← links)
• Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements (Q3523121) (← links)
• Noncausal Optimal Tracking of Linear Switched Systems (Q3523122) (← links)
• Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems (Q3523123) (← links)
• A Decidable Class of Planar Linear Hybrid Systems (Q3523124) (← links)
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
• Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process (Q3523126) (← links)
• Distributed Lyapunov Functions in Analysis of Graph Models of Software (Q3523127) (← links)
• On the Optimality of Dubins Paths across Heterogeneous Terrain (Q3523128) (← links)
• Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems (Q3523129) (← links)
• Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata (Q3523130) (← links)
• Input-to-State Stabilization with Quantized Output Feedback (Q3523131) (← links)
• Bisimilar Finite Abstractions of Interconnected Systems (Q3523133) (← links)
• On Controllability of Timed Continuous Petri Nets (Q3523134) (← links)
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications (Q3523135) (← links)
• Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems (Q3523136) (← links)
• Composition of Motion Description Languages (Q3523137) (← links)
• On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems (Q3523138) (← links)
• Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps (Q3523139) (← links)
• On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries (Q3523140) (← links)
• Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems (Q3523142) (← links)
• Reachability Analysis of Stochastic Hybrid Systems by Optimal Control (Q3523143) (← links)
• d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata (Q3523144) (← links)
• Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems (Q3523145) (← links)
• Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time (Q3523146) (← links)
• Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics (Q3523147) (← links)
• Modular Development of Hybrid Systems for Verification in Coq (Q3523148) (← links)