Pages that link to "Item:Q4393079"

The following pages link to Algorithmic analysis of nonlinear hybrid systems (Q4393079):

Displaying 31 items.

• SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
• Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
• Verifying global start-up for a Möbius ring-oscillator (Q479839) (← links)
• Computing reachable states for nonlinear biological models (Q533351) (← links)
• Runtime monitors for Markov decision processes (Q832291) (← links)
• Lebesgue piecewise affine approximation of nonlinear systems (Q1049210) (← links)
• What's decidable about hybrid automata? (Q1273866) (← links)
• Tracking smooth trajectories in linear hybrid systems (Q1680510) (← links)
• Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
• Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
• Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
• Positive loop-closed automata: A decidable class of hybrid systems (Q1858439) (← links)
• PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
• Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
• Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
• Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
• Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
• Automata-based analysis of stage suspended boom systems (Q2375655) (← links)
• Taylor approximation for hybrid systems (Q2461793) (← links)
• Abstractions for hybrid systems (Q2475634) (← links)
• Monotonic hybrid systems (Q2486564) (← links)
• Hybrid abstractions of affine systems (Q2496812) (← links)
• Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
• Denotational semantics of hybrid automata (Q2643331) (← links)
• Harvesting control in an integrodifference population model with concave growth term (Q2643447) (← links)
• Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming (Q2864385) (← links)
• Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
• Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788) (← links)