scientific article
From MaRDI portal
Publication:2737800
zbMath0973.93001MaRDI QIDQ2737800
Publication date: 30 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (47)
Parameter extraction of complex production systems via a kinetic approach ⋮ HYST ⋮ ProbReach ⋮ An efficient alternative to the exact evaluation of the quickest path flow network reliability problem ⋮ Outsourcing warranty repairs: Dynamic allocation ⋮ Folded overlapping variance estimators for simulation ⋮ Global Feedback Stabilization for a Class of Nonlocal Transport Equations: The Continuous and Discrete Case ⋮ Combining optimisation and simulation using logic-based Benders decomposition ⋮ Coupling from the past with randomized quasi-Monte Carlo ⋮ Simulation of a multiterminal system for container handling ⋮ Dynamic routing of prioritized warranty repairs ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars ⋮ Reach-avoid problems with time-varying dynamics, targets and constraints ⋮ An improved algorithm for robust safety analysis of sampled data systems ⋮ What's decidable about recursive hybrid automata? ⋮ Bounded-rate multi-mode systems based motion planning ⋮ A sufficient condition for the boundedness of matrix products accepted by an automaton ⋮ Efficient finite abstraction of mixed monotone systems ⋮ Compositional construction of approximate abstractions ⋮ Computing bisimulation functions using SOS optimization and δ -decidability over the reals ⋮ Probabilistic diagnosability of hybrid systems ⋮ Dynamic scheduling for networked control systems ⋮ Closed loop analysis of control command software ⋮ Real-time control under clock offsets between sensors and controllers ⋮ A delta-sampling verification theorem for discrete-time, possibly discontinuous systems ⋮ Eliminating spurious transitions in reachability with support functions ⋮ Finite state approximation for verification of partially observable stochastic hybrid systems ⋮ Statistical verification of dynamical systems using set oriented methods ⋮ Requirements for hybrid cosimulation standards ⋮ SpaTeL ⋮ Computing the Skorokhod distance between polygonal traces ⋮ First steps toward formal controller synthesis for bipedal robots ⋮ Vulnerability analysis of dynamical power networks to stochastic link failure attacks ⋮ Temporal logic motion planning using POMDPs with parity objectives ⋮ Reactive synthesis from signal temporal logic specifications ⋮ Estimator-based reactive synthesis under incomplete information ⋮ Cross-entropy temporal logic motion planning ⋮ Stability and stabilization of polynomial dynamical systems using Bernstein polynomials ⋮ Semi-iterative minimum cross-entropy algorithms for rare-events, counting, combinatorial and integer programming ⋮ CPO semantics of timed interactive actor networks ⋮ Analysis of the behavior of the transient period in non-terminating simulations ⋮ An \(M/G/C/C\) state-dependent network simulation model ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ Estimation of traffic intensity from queue length data in a deterministic single server queueing system ⋮ Order-Preserving Symmetric Encryption ⋮ Stochastic dynamic vehicle routing in the light of prescriptive analytics: a review
This page was built for publication:
