Pages that link to "Item:Q78129"
From MaRDI portal
The following pages link to A note on two problems in connexion with graphs (Q78129):
Displaying 50 items.
- Finding Optimal Triadic Transformational Spaces with Dijkstra’s Shortest Path Algorithm (Q2942312) (← links)
- Improvements in the reliability and element quality of parallel tetrahedral mesh generation (Q2952125) (← links)
- Reduction in mesh bias for dynamic fracture using adaptive splitting of polygonal finite elements (Q2952588) (← links)
- A Comprehensive Reachability Evaluation for Airline Networks with Multi-constraints (Q2958301) (← links)
- Theory and application of reciprocal transformation of “path problem” and “time float problem” (Q2969956) (← links)
- Least-violating control strategy synthesis with safety rules (Q2986905) (← links)
- Limited-information control of hybrid systems via reachable set propagation (Q2986906) (← links)
- Resilient synchronization in robust networked multi-agent systems (Q2986907) (← links)
- Learning nonlinear hybrid systems (Q2986908) (← links)
- Mining requirements from closed-loop control models (Q2986909) (← links)
- On the decidability of stability of hybrid systems (Q2986910) (← links)
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares (Q2986911) (← links)
- Hybrid control lyapunov functions for the stabilization of hybridsystems (Q2986912) (← links)
- A toolbox for simulation of hybrid systems in matlab/simulink (Q2986913) (← links)
- Stabhyli (Q2986914) (← links)
- Zélus (Q2986915) (← links)
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme (Q2986916) (← links)
- Observer design for a class of piecewise affine hybrid systems (Q2986918) (← links)
- Automated analysis of real-time scheduling using graph games (Q2986919) (← links)
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets (Q2986920) (← links)
- One-shot computation of reachable sets for differential games (Q2986922) (← links)
- Tracking differentiable trajectories across polyhedra boundaries (Q2986923) (← links)
- Flowpipe approximation and clustering in space-time (Q2986925) (← links)
- Bounded model-checking of discrete duration calculus (Q2986927) (← links)
- Optimal CPU allocation to a set of control tasks with soft real--time execution constraints (Q2986929) (← links)
- Safe schedulability of bounded-rate multi-mode systems (Q2986930) (← links)
- Compositional heterogeneous abstraction (Q2986931) (← links)
- Quantitative timed simulation functions and refinement metrics for real-time systems (Q2986932) (← links)
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems (Q2986933) (← links)
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems (Q2986934) (← links)
- Control design for specifications on stochastic hybrid systems (Q2986935) (← links)
- Rewarding probabilistic hybrid automata (Q2986936) (← links)
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata (Q2986937) (← links)
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic (Q2986938) (← links)
- Temporal logic model predictive control for discrete-time systems (Q2986939) (← links)
- Iterative temporal motion planning for hybrid systems in partially unknown environments (Q2986941) (← links)
- A finite-capacity production scheduling procedure for a Belgian steel company (Q3012635) (← links)
- A Google-like model of road network dynamics and its application to regulation and control (Q3015166) (← links)
- A solution method for a knapsack problem and its variant (Q3028724) (← links)
- Duality and admissible transformations in combinatorial optimization (Q3048583) (← links)
- Optimising material handling costs in an assembly workshop (Q3055375) (← links)
- Simultaneous solution of Lagrangean dual problems interleaved with preprocessing for the weight constrained shortest path problem (Q3057094) (← links)
- Adaptive dynamic cohesive fracture simulation using nodal perturbation and edge-swap operators (Q3062624) (← links)
- MINIMUM FLOW VARIATION IN MAXIMUM FLOWS (Q3063609) (← links)
- Efficient techniques and tools for intra-domain traffic engineering (Q3087851) (← links)
- Connectivity and minimal distance spectral radius of graphs (Q3090722) (← links)
- On finding a minimum spanning tree in a network with random weights (Q3122913) (← links)
- Nonidentical Coupled Networks with a Geographical Model for Human Behaviors During Catastrophic Events (Q3132932) (← links)
- The Maximum Capacity Shortest Path Problem: Generation of Efficient Solution Sets (Q3148373) (← links)
- A Max-Plus Approach to Incomplete Cholesky Factorization Preconditioners (Q3174763) (← links)
