The following pages link to Discrete Event Dynamic Systems (Q169421):
Displayed 50 items.
- Special issue on ``New approaches for DES modeling, analysis and synthesis'' (Q262422) (← links)
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (Q262426) (← links)
- A framework for compositional nonblocking verification of extended finite-state machines (Q262429) (← links)
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (Q262433) (← links)
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Tight performance bounds in the worst-case analysis of feed-forward networks (Q312640) (← links)
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- The evaluation of pedestrians' behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation models (Q312649) (← links)
- Multiscale Q-learning with linear function approximation (Q312650) (← links)
- Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (Q312653) (← links)
- Diagnosability of Petri nets with observation graphs (Q312654) (← links)
- Special issue on recent trends in discrete event systems (Q351725) (← links)
- What topology tells us about diagnosability in partial order semantics (Q351726) (← links)
- An algorithm to compute the minimal siphons in \(S^4 PR\) nets (Q351730) (← links)
- Networked conflicting timed event graphs representation in (Max,+) algebra (Q351734) (← links)
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- A pseudometric in supervisory control of probabilistic discrete event systems (Q351739) (← links)
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Graph process specifications for hybrid networked systems (Q351747) (← links)
- Special issue: Modeling on reactive systems. Selected papers based on the presentations at the 8th conference `Modélisation des Systèmes Réactifs', MSR 2011, Lille, France, November 16--18, 2011 (Q367959) (← links)
- Some insights of using common random numbers in selection procedures (Q373006) (← links)
- Perturbation analysis of waiting times in the G/G/1 queue (Q373009) (← links)
- Control of \((max, +)\)-linear systems minimizing delays (Q373011) (← links)
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Shrinking of time Petri nets (Q378906) (← links)
- A control scheme for freeway traffic systems based on hybrid automata (Q434455) (← links)
- A proximal point based approach to optimal control of affine switched systems (Q434456) (← links)
- Hybrid systems tools for compiling controllers for cyber-physical systems (Q434457) (← links)
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Pseudo-continuous multi-dimensional multi-mode systems: behavior, structure and optimal control (Q434464) (← links)
- Guest editorial: Hybrid systems. II (Q434466) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Dependability analysis of DES based on MARTE and UML state machines models (Q434473) (← links)
- Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs (Q434475) (← links)
- Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems (Q434477) (← links)
- Semantic translation of Simulink diagrams to input/output extended finite automata (Q434480) (← links)
- Necessary and sufficient conditions for strong comparability of multicomponent systems (Q457192) (← links)
- Container of (min,+)-linear systems (Q457194) (← links)
- State estimation and detection of changes in time interval models (Q457197) (← links)
- A stochastic hybrid state model for optimizing hedging policies in manufacturing systems with randomly occurring defects (Q457200) (← links)
- Guest editorial: Event-based control and optimization (Q461462) (← links)
- A tutorial on event-based optimization -- a new optimization framework (Q461464) (← links)
- Event-based optimization of admission control in open queueing networks (Q461465) (← links)
- A bi-level approach for the design of event-triggered control systems over a shared network (Q461467) (← links)
- Actuator saturation and anti-windup compensation in event-triggered control (Q461469) (← links)
- Minimum attention control for linear systems (Q461471) (← links)
- Stabilizing bit-rates in networked control systems with decentralized event-triggered communication (Q461472) (← links)
- Weakly coupled event triggered output feedback system in wireless networked control systems (Q461475) (← links)
- Diagnosis from scenarios (Q481349) (← links)