Keywords: سیستم های رویداد گسسته; Discrete event systems; Finite automata; Detectability; Complexity;
مقالات ISI سیستم های رویداد گسسته (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم های رویداد گسسته; Multi-agent systems; Cooperative control; Hybrid systems; Formal verification; Timed logics; Abstractions; Discrete event systems;
Keywords: سیستم های رویداد گسسته; Direct-comparison based optimization; Discrete event systems; Perturbation analysis; Financial network; Markov decision problems; Risk contagion; Policy iteration; Sensitivity;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Fault diagnosis; Diagnosability; Opacity; Petri nets; History of discrete event systems;
Keywords: سیستم های رویداد گسسته; Discrete Event Systems; History; Discrete event simulation; Automata; Petri nets; Max-plus algebra; Supervisory control; Diagnosis; Perturbation analysis;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Privacy; Opacity; Opacity enforcement; Insertion function;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Automata; Failure diagnosis; Cyber-attacks;
Keywords: سیستم های رویداد گسسته; Discrete Event Systems; Petri Nets; Fluid Petri Nets; History of Control Engineering; Bibliometrics;
Keywords: سیستم های رویداد گسسته; Automated manufacturing systems; Deadlock avoidance; Discrete event systems; Petri nets; Robust control;
Keywords: سیستم های رویداد گسسته; Networked control systems; Stochastic systems; Discrete event systems; Positive observer;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Compositional synthesis; Controller constraints and structure; Algorithms and software; Computational issues;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Petri nets; Opacity; Decidability problems;
Keywords: سیستم های رویداد گسسته; Computational complexity; PSPACE-completeness; Modular diagnosis; Discrete event systems;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Finite automata; Markov models; State estimation;
Keywords: سیستم های رویداد گسسته; Transport Network; Discrete Event Systems; Modeling; Performance evaluation; Colored Petri Nets; (Max, +) Algebra; Routing policy;
Keywords: سیستم های رویداد گسسته; Communication control applications; Discrete event systems; Plants; Signal analysis; Wireless Communication systems;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Decentralized observability; Formal languages;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Infinite-step opacity; K-step opacity; Two-way observer;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Petri net; 0-1 integer linear programming problem; Optimal transition firing sequence problems; Reachability analysis; AGV systems;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Petri nets deadlock-free scheduling problems; model predictive control
Keywords: سیستم های رویداد گسسته; Discrete Event Systems; Supervisory Control; Monolithic Approach; Mobile Robotics; Microcontrollers;
Keywords: سیستم های رویداد گسسته; Discrete Event Systems; Supervisory Control; manufacturing; Control Synthesis; PLC
Keywords: سیستم های رویداد گسسته; Discrete event systems; Online sensor activation; Supervisory control; Observability;
Keywords: سیستم های رویداد گسسته; Scheduling; Optimization; Metaheuristics; Supervisory Control Theory; Discrete Event Systems;
Keywords: سیستم های رویداد گسسته; Opacity; Discrete event systems; Validation; Verification; Enforcement; Quantification; Secrecy; Privacy; Security;
Keywords: سیستم های رویداد گسسته; Resource Allocation Systems; Discrete Event Systems; Supervisory control; Deadlock avoidance; (Stochastic) scheduling;
Keywords: سیستم های رویداد گسسته; Air traffic management; Global satellite navigation system; Air traffic throughput; Trajectory optimization; Optimal control theory; Model predictive control; Discrete event systems; Trajectory-based operations;
Keywords: سیستم های رویداد گسسته; On-line Testing; Measurement limitation; Fault coverage; Area overhead; Fault detection latency; Discrete event systems;
Keywords: سیستم های رویداد گسسته; Markov decision process; Discrete event systems; Parameterized policy; Policy iteration; Service rate control
Keywords: سیستم های رویداد گسسته; Failure detection and diagnosis; Discrete Event Systems; Real time systems; Stochastic systems
Keywords: سیستم های رویداد گسسته; Discrete event systems; Finite-state machines; Model checking; Compositional verification; Nonblocking
Keywords: سیستم های رویداد گسسته; Supervisory control; Bisimulation; Discrete event systems;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Communication delays; Decentralized control; Supervisors; Networked systems; Automata
Keywords: سیستم های رویداد گسسته; Diagnosability; Diagnoser; Discrete event systems; Fault diagnosis; Intermittent faults; Permanent faults
Keywords: سیستم های رویداد گسسته; Discrete event systems; Supervisory control; Reconfiguration; Petri nets; Integer programming
Keywords: سیستم های رویداد گسسته; Discrete event systems; Opacity
Keywords: سیستم های رویداد گسسته; Distributed diagnosis; Structural model decomposition; Discrete event systems; Possible Conflicts;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Optimization; Max-min-plus-scaling systems; Stochastic disturbance; Moments;
Keywords: سیستم های رویداد گسسته; Discrete event systems; Synchronization; Model-based control; Predictive control; Transportation control; Timed Petri nets
Keywords: سیستم های رویداد گسسته; Discrete Event Systems; Modular Fault Diagnosis; Fixed-Block Railway Signaling Systems
Keywords: سیستم های رویداد گسسته; Discrete event systems; Event-triggered control; Average consensus; Multi-agent systems; Weight-balanced digraphs
Keywords: سیستم های رویداد گسسته; Discrete event systems; Supervisory control theory; Control implementation; HVDC transmission systems; EMTP-RV; Computer programming languages;
Petri Net controller synthesis based on decomposed manufacturing models
Keywords: سیستم های رویداد گسسته; Discrete event systems; Petri net; Supervisory control; Place invariant; Decomposed model;
N-diagnosability for active on-line diagnosis in discrete event systems
Keywords: سیستم های رویداد گسسته; Discrete event systems; Diagnosis; Diagnosability; Fault detection; Fault localization;
An event based technique for detecting spoofed IP packets
Keywords: سیستم های رویداد گسسته; Event based detection; Discrete event systems; IP address spoofing;
A parallel Quantized State System Solver for ODEs
Keywords: سیستم های رویداد گسسته; Parallel ODE simulation; QSS; Hybrid systems; Discrete event systems;
Performance Assessment of an Urbain Collective Cars System
Keywords: سیستم های رویداد گسسته; Demand responsive transportation; discrete event systems; asynchronous behaviour; Monte Carlo simulation; performance evaluation; parameter optimisation;
Control de Modelos Max Plus Lineales con Restricciones Temporales
Keywords: سیستم های رویداد گسسته; Sistemas de Eventos Discretos (SED); Grafos de Eventos Temporizados (GETs); Algebra Max Plus; Restricciones Temporales; Discrete Event Systems; Timed Event Graphs; Max Plus Algebra; Temporal Constraints;
Petri-net-based robust supervisory control of automated manufacturing systems
Keywords: سیستم های رویداد گسسته; Automated manufacturing system (AMS); Deadlock avoidance; Discrete event systems; Robust control
Supervisory control of discrete event systems with distinguishers
Keywords: سیستم های رویداد گسسته; Discrete event systems; Supervisory control; Distinguishers; Approximations