Pages that link to "Item:Q4781425"
From MaRDI portal
The following pages link to THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS (Q4781425):
Displaying 40 items.
- Qualitative and quantitative integrated modeling for stochastic simulation and optimization (Q364543) (← links)
- Implementing biological hybrid systems: allowing composition and avoiding stiffness (Q907533) (← links)
- Simulating complex systems and processes in LabVIEW (Q2255661) (← links)
- Combined discrete event and discrete time simulation framework and its application to the block erection process in shipbuilding (Q2379602) (← links)
- On the stability and performance of discrete event methods for simulating continuous systems (Q2462493) (← links)
- A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars (Q2988909) (← links)
- Reach-avoid problems with time-varying dynamics, targets and constraints (Q2988910) (← links)
- An improved algorithm for robust safety analysis of sampled data systems (Q2988911) (← links)
- What's decidable about recursive hybrid automata? (Q2988912) (← links)
- Bounded-rate multi-mode systems based motion planning (Q2988914) (← links)
- A sufficient condition for the boundedness of matrix products accepted by an automaton (Q2988915) (← links)
- Efficient finite abstraction of mixed monotone systems (Q2988916) (← links)
- Compositional construction of approximate abstractions (Q2988917) (← links)
- Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the reals (Q2988918) (← links)
- Probabilistic diagnosability of hybrid systems (Q2988919) (← links)
- Dynamic scheduling for networked control systems (Q2988921) (← links)
- Closed loop analysis of control command software (Q2988922) (← links)
- Real-time control under clock offsets between sensors and controllers (Q2988923) (← links)
- HYST (Q2988924) (← links)
- ProbReach (Q2988926) (← links)
- A delta-sampling verification theorem for discrete-time, possibly discontinuous systems (Q2988928) (← links)
- Eliminating spurious transitions in reachability with support functions (Q2988931) (← links)
- Finite state approximation for verification of partially observable stochastic hybrid systems (Q2988932) (← links)
- Statistical verification of dynamical systems using set oriented methods (Q2988933) (← links)
- Requirements for hybrid cosimulation standards (Q2988935) (← links)
- SpaTeL (Q2988938) (← links)
- Computing the Skorokhod distance between polygonal traces (Q2988939) (← links)
- First steps toward formal controller synthesis for bipedal robots (Q2988940) (← links)
- Vulnerability analysis of dynamical power networks to stochastic link failure attacks (Q2988942) (← links)
- Temporal logic motion planning using POMDPs with parity objectives (Q2988944) (← links)
- Reactive synthesis from signal temporal logic specifications (Q2988945) (← links)
- Estimator-based reactive synthesis under incomplete information (Q2988946) (← links)
- Cross-entropy temporal logic motion planning (Q2988949) (← links)
- Stability and stabilization of polynomial dynamical systems using Bernstein polynomials (Q2988950) (← links)
- Dynamical Symmetries and Model Validation (Q3296313) (← links)
- Examining a Bayesian Approach to Personalizing Context Awareness in Ubiquitous Computing Environments (Q3407286) (← links)
- Systems Movement: Autobiographical Retrospectives (Q4408650) (← links)
- Efficient Flattening Algorithm for Hierarchical and Dynamic Structure Discrete Event Models (Q5270684) (← links)
- A Federated Approach to Parallel and Distributed Simulation of Complex Systems (Q5422953) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457) (← links)
