Keywords: تجزیه و تحلیل قابل دستیابی; Partial order reduction; Stubborn sets; Structural reductions; Reachability analysis; Petri nets;
مقالات ISI تجزیه و تحلیل قابل دستیابی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تجزیه و تحلیل قابل دستیابی; Cyber-physical systems; Model-based testing; Conformance testing; Soundness; Reachability analysis;
Keywords: تجزیه و تحلیل قابل دستیابی; Modeling; Dynamic timed fuzzy Petri nets; Dynamic time delay analysis; Reachability analysis;
Keywords: تجزیه و تحلیل قابل دستیابی; Pressure swing adsorption; Hybrid systems; Process control; Maximal safe set; Reachability analysis; Level set methods;
Keywords: تجزیه و تحلیل قابل دستیابی; Reachability analysis; Pushdown systems; Saturation procedure; Boolean program; Software verification;
Keywords: تجزیه و تحلیل قابل دستیابی; Temporal logic properties; Bayesian inference; Linear time-invariant models; Model-based verification; Reachability analysis; Data-driven validation; Statistical model checking;
Keywords: تجزیه و تحلیل قابل دستیابی; Discrete event systems; Petri net; 0-1 integer linear programming problem; Optimal transition firing sequence problems; Reachability analysis; AGV systems;
Keywords: تجزیه و تحلیل قابل دستیابی; Power system transient stability; Reachability analysis; Nonlinear optimal control;
Keywords: تجزیه و تحلیل قابل دستیابی; State estimation; Fault detection; Set-based computing; Zonotopes; Reachability analysis;
Keywords: تجزیه و تحلیل قابل دستیابی; Vulnerability; Full attack graph; Reachability analysis; Exploit; Weakness
Keywords: تجزیه و تحلیل قابل دستیابی; Hybrid Petri nets; Critical infrastructures; Reachability analysis;
Keywords: تجزیه و تحلیل قابل دستیابی; Hybrid systems; Lyapunov methods; Global asymptotic stability; Event-triggered sampling; Reachability analysis
Keywords: تجزیه و تحلیل قابل دستیابی; Environmental informatics; Workflows; Data preprocessing; Reachability analysis; Formal methods;
Resilience of the Domain Name System: A case study of the .nl-domain
Keywords: تجزیه و تحلیل قابل دستیابی; Domain Name System; Computer network reliability; Reachability analysis;
Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
Keywords: تجزیه و تحلیل قابل دستیابی; Stability analysis; Parameter synthesis; Linear impulsive systems; Difference inclusions; Reachability analysis;
HJB approach for a multi-boost launcher trajectory optimization problem*
Keywords: تجزیه و تحلیل قابل دستیابی; optimal trajectory; optimal control problem; Hamilton-Jacobi approach; reachability analysis;
Correctness issues on MARTE/CCSL constraints
Keywords: تجزیه و تحلیل قابل دستیابی; Logical time; Architecture-driven analysis; UML MARTE; Reachability analysis
Input design for guaranteed fault diagnosis using zonotopes
Keywords: تجزیه و تحلیل قابل دستیابی; Fault diagnosis; Input design; Reachability analysis; Zonotopes
Reachability-based feedback control of crystal size distribution in batch crystallization processes
Keywords: تجزیه و تحلیل قابل دستیابی; Reachability analysis; Population balance; Crystal size distribution; Hyperbolic partial differential equations; Output feedback control; Batch crystallization process; Observer design
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems
Keywords: تجزیه و تحلیل قابل دستیابی; Concurrency; Distributed systems; Reachability analysis; Static analysis
Reachability determination in acyclic Petri nets by cell enumeration approach
Keywords: تجزیه و تحلیل قابل دستیابی; Petri nets; Reachability analysis; Cell enumeration; Linear Diophantine equations on bounded integer set;
Monitoring of dynamic processes by rectangular hybrid automata
Keywords: تجزیه و تحلیل قابل دستیابی; Monitoring; Rectangular hybrid automats; Dynamic processes; Reachability analysis
A Petri Nets based functional validation for services composition
Keywords: تجزیه و تحلیل قابل دستیابی; Petri Nets; Functional validation; Reachability analysis; Semantics; Service composition; Interoperability
Reachability analysis of linear systems using support functions
Keywords: تجزیه و تحلیل قابل دستیابی; Reachability analysis; Support functions; Computational methods; Linear systems
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
Keywords: تجزیه و تحلیل قابل دستیابی; Reachability analysis; Hybrid systems; Safety verification; Zonotopes; Polytopes
A Novel Method for Reachability Determination in Petri Nets
Keywords: تجزیه و تحلیل قابل دستیابی; Petri nets; reachability analysis; cell enumeration; linear Diophantine equations on bounded integer set; integer programming; discrete optimization
Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata
Keywords: تجزیه و تحلیل قابل دستیابی; Diagnosability; Limited-Time Lookahead; Rectangular Hybrid Automata; Reachability Analysis
Safety Assessment of Networked Vehicle Platoon Controllers – Practical Experiences With Available Tools
Keywords: تجزیه و تحلیل قابل دستیابی; Hybrid systems; reachability analysis; platoon of vehicles; control law; PHAVer; Hsolver; KeYmaera
Multi-product batch scheduling with intermediate due dates using priced timed automata models
Keywords: تجزیه و تحلیل قابل دستیابی; Multi-product batch plants; Scheduling; Timed automata; Reachability analysis
Post and pre-initialized stopwatch Petri nets: Formal semantics and state space computation
Keywords: تجزیه و تحلیل قابل دستیابی; T-time Petri net; Preemption-resume behavior; Stopwatch automata; Reachability analysis; Post and pre-initialized stopwatch Petri nets;
Scheduling of multi-product batch plants based upon timed automata models
Keywords: تجزیه و تحلیل قابل دستیابی; Multi-product batch plants; Scheduling; Timed automata; Reachability analysis
USING PATH INTEGRAL SHORT TIME PROPAGATORS FOR NUMERICAL ANALYSIS OF STOCHASTIC HYBRID SYSTEMS
Keywords: تجزیه و تحلیل قابل دستیابی; stochastic hybrid systems; reachability analysis; path integrals
Model predictive control of discrete-time hybrid systems with discrete inputs
Keywords: تجزیه و تحلیل قابل دستیابی; Hybrid systems; Predictive control; Reachability analysis;
Methods of checking general safety criteria in UML statechart specifications
Keywords: تجزیه و تحلیل قابل دستیابی; System safety; Software specification; Safety criteria; UML statecharts; OCL; Graph transformation; Reachability analysis;