Pages that link to "Item:Q2426635"
From MaRDI portal
The following pages link to Unfoldings: A partial-order approach to model checking. (Q2426635):
Displayed 50 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Recent advances in unfolding technique (Q403021) (← links)
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Exploiting step semantics for efficient bounded model checking of asynchronous systems (Q436411) (← links)
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Program verification: state of the art, problems, and results. II (Q466002) (← links)
- On a homomorphism of a component Petri net (Q466005) (← links)
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- Untanglings: a novel approach to analyzing concurrent systems (Q903488) (← links)
- A Nice labelling for tree-like event structures of degree 3 (Q979077) (← links)
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Star-topology decoupled state space search (Q1749386) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Pomset bisimulation and unfolding for reset Petri nets (Q2113378) (← links)
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Distributed computation of vector clocks in Petri net unfoldings for test selection (Q2197589) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Independence Abstractions and Models of Concurrency (Q2961560) (← links)
- Succinct discrete time approximations of distributed hybrid automata (Q2985857) (← links)
- Accurate hybridization of nonlinear systems (Q2985859) (← links)
- Compositional analysis for linear control systems (Q2985860) (← links)
- On integration of event-based estimation and robust MPC in a feedback loop (Q2985861) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems (Q2985865) (← links)
- Timed automata with observers under energy constraints (Q2985866) (← links)
- Real-time scheduling of mixture-of-experts systems with limited resources (Q2985868) (← links)
- On a control algorithm for time-varying processor availability (Q2985869) (← links)
- Timed I/O automata (Q2985870) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Synthesis using approximately bisimilar abstractions (Q2985872) (← links)
- Oscillation analysis of linearly coupled piecewise affine systems (Q2985873) (← links)
- On infinity norms as Lyapunov functions for piecewise affine systems (Q2985874) (← links)
- Identifiability of discrete-time linear switched systems (Q2985875) (← links)
- Rank properties of poincare maps for hybrid systems with applications to bipedal walking (Q2985876) (← links)
- Stealthy deception attacks on water SCADA systems (Q2985877) (← links)
- Comparison of overapproximation methods for stability analysis of networked control systems (Q2985878) (← links)
- Distributed Kalman Filter algorithms for self-localization of mobile devices (Q2985880) (← links)
- Convergence results for ant routing algorithms viastochastic approximation (Q2985881) (← links)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (Q2985883) (← links)
- Automatic invariant generation for hybrid systems using ideal fixed points (Q2985884) (← links)
- Safe compositional network sketches (Q2985887) (← links)
- Bayesian statistical model checking with application to Simulink/Stateflow verification (Q2985888) (← links)
- On the connections between PCTL and dynamic programming (Q2985889) (← links)
- Modeling and verification of stochastic hybrid systems using HIOA (Q2985890) (← links)
- A generating function approach to the stability of discrete-time switched linear systems (Q2985891) (← links)