دانلود مقالات ISI درباره اتوماتای ​​زمانبندی شده + ترجمه فارسی

Grid automata and supervisory control of dense real-time discrete event systems

Keywords: اتوماتای ​​زمانبندی شده; Timed discrete event systems; Supervisory control; Automatic synthesis; Timed automata; Grid automata;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2006 سفارش ترجمه

Monitoring and predictive maintenance: Modeling and analyse of fault latency

Keywords: اتوماتای ​​زمانبندی شده; Discrete–event systems; Detection; Fault latency; Predictive maintenance; Timed automata

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2006 سفارش ترجمه

Structural translation from Time Petri Nets to Timed Automata

Keywords: اتوماتای ​​زمانبندی شده; Time Petri Nets; Timed automata; Model-checking

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2006 سفارش ترجمه

On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus

Keywords: اتوماتای ​​زمانبندی شده; Distributed Timed Model Checking; Zeus; Kronos; Prediction; Redistribution; Reconfiguration; Load-Balance; Timed Automata; Reachability;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

Structural Translation from Time Petri Nets to Timed Automata

Keywords: اتوماتای ​​زمانبندی شده; Time Petri Nets; Timed Automata; Model-Checking;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

Testing Conformance of Real-Time Applications by Automatic Generation of Observers

Keywords: اتوماتای ​​زمانبندی شده; Testing; Timed automata; Planning; Martian Rover;

دانلود رایگان متن کامل مقاله ISI 21 صفحه سال انتشار : 2005 سفارش ترجمه

A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata

Keywords: اتوماتای ​​زمانبندی شده; Timed Automata; Zeno-timelocks; UPPAAL;

دانلود رایگان متن کامل مقاله ISI 23 صفحه سال انتشار : 2005 سفارش ترجمه

A New Method for Transforming Timed Automata

Keywords: اتوماتای ​​زمانبندی شده; Transformation; Timed Automata; Set-Exp-Automata;

دانلود رایگان متن کامل مقاله ISI 28 صفحه سال انتشار : 2005 سفارش ترجمه

A partial order semantics approach to the clock explosion problem of timed automata

Keywords: اتوماتای ​​زمانبندی شده; Algorithms; Verification; Timed automata; Partial order;

دانلود رایگان متن کامل مقاله ISI 33 صفحه سال انتشار : 2005 سفارش ترجمه