دانلود رایگان مقالات نشریه ISI حجم مقالات IFAC

Active Identification of Petri Net Models

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

On Intrinsically Live Structure of a Class of Generalized Petri Nets Modeling FMS

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Supervisory control of Petri nets using polyhedral regions

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Recoverability Analysis of Controlled Discrete Event Systems Modelled by a Class of Petri Nets

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Decentralized K-Diagnosability of Petri Nets

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

On/Off control with observer's state feedback for continuous timed Petri nets

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Computation of Supervisors for Reconfigurable Machine Tools

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

New Results on Supervisor Localization, with Application to Multi-Agent Formations

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

On Algorithms and Extensions of Coordination Control of Discrete-Event Systems

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Coarsest Controllability-Preserving Plant Minimization

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

A Hierarchical Control Architecture for Sequential Behaviours

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Analysis of partially observed recursive tile systems

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Bounded Sensor Failure Tolerant Supervisory Control

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Robustness of Synchronous Communication Protocols with Bounded Delay for Decentralized Discrete-Event Control

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Maximally Permissive Deadlock Avoidance for Resource Allocation Systems with R/W-Locks

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

LTL Planning in Dynamic Environments

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Algebraic synthesis of logical controllers despite inconsistencies in specifications

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Incremental Discrete Controller Synthesis for communicating systems based on modular decomposition

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Real-Time Control with Parametric Timed Reachability Games

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Enforcing Opacity of Regular Predicates on Modal Transition Systems

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Generalised Verification of the Observer Property in Discrete Event Systems

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Accuracy vs. Complexity: the stochastic bound approach

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

DESLAB: A scientific computing program for analysis and synthesis of discrete-event systems

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

A model of distributed key generation for industrial control systems

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Approximate Event-Based Optimization for Evacuation

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Range and Value-Set Analysis for Programmable Logic Controllers

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Application of Supervisory Control Theory to Guide Cellular Dynamics

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Stock Reduction for Timed Event Graphs Based on Output Feedback

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Optimal Control of Switched-Mode Dynamical Systems

5 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Discussion on fault Diagnosis methods of Discrete Event Systems

4 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

50 years after the PhD thesis of Carl Adam Petri: A perspective

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Marking homothetic monotonicity and fluidization of untimed Petri nets

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Discontinuity Induced Bifurcations in Timed Continuous Petri Nets

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Sensor Placement for Distinguishability in Continuous Timed Petri Nets

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Structural and generic conditions for controllability of timed continuous Petri nets

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Control of continuous Petri nets using ON/OFF based method

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Stationary behavior of controlled Generalized Batches Petri Nets

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Compositions of (max,+) automata

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Using max-plus to solve the job shop problem with time lags

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

A non-linear set-membership approach for the control of Discrete Event Systems

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Model Predictive Control for Stochastic Switching Max-Plus-Linear Systems

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Front cover and table of contents

10 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

On the solution of Max-plus linear equations with application on the control of TEGs

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

A Decision Support System for Risk Evaluation of HAZMAT Transportation in Motorways

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Multi-intersection Traffic Light Control Using Infinitesimal Perturbation Analysis

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

New representations for (max,+) automata with applications to the performance evaluation of discrete event systems

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Decentralized Control of Product (max+)-automata using Coinduction

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Abstraction-based Synthesis of Timed Supervisors for Time-Weighted Systems

7 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

FIFO Time Petri Nets for conflicts handling

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

A Constraint Programming Approach for Generating Firing Sequences in Timed Petri Nets With Token Identification

8 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Maximal Permissive Timed Control for a Class of Hybrid Systems

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

Bisimilarity Enforcing Supervisory Control of Nondeterministic Systems under Event and State Observations

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه

On the Computation of Supremal Sublanguages Relevant to Supervisory Control

6 صفحه فرمت PDF سال انتشار : 2012 دانلود متن کامل مقاله ISI سفارش ترجمه