دانلود رایگان مقالات نشریه ISI مقالات آنلاین ـ IFAC

تشخیص حرکت زیر دستانه دستی در بیماری پارکینسون از طریق بهینه سازی ترکیبی

Detection of manual tracking submovements in Parkinson's disease through hybrid optimization

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

در ارتباط بین اصل حداقل ترکیبی و برنامه ریزی پویای هیبرید: یک مثال دو بعدی خطی

On the Relation between the Hybrid Minimum Principle and Hybrid Dynamic Programming: a Linear Quadratic Example

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

کنترل ترکیبی سلسله مراتبی با برنامه ریزی کلاسیک و بهینه سازی مسیر

Hierarchical Hybrid Control with Classical Planning and Trajectory Optimization

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

در روش های شبیه سازی پیش بینی شده برای بهینه سازی سیستم های سوئیچ

On the Projected Gradient Methods for Switched - Mode Systems Optimization

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

در ثبات پایدار از چرخه های محدود برای سیستم های ترکیبی با چند جهش *

On Robust Stability of Limit Cycles for Hybrid Systems With Multiple Jumps*

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

تجزیه و تحلیل اختلال بی حد و حصر برای طراحی سرطان شخصی

Infinitesimal Perturbation Analysis for Personalized Cancer Therapy Design*

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

یک معیار کنترل گلوکز درگیر برای تایید رسمی

An Intraoperative Glucose Control Benchmark for Formal Verification

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

تخصیص وظیفه توزیع شده بر اساس شایعات با عملکرد تضمین شده در شبکه های ناهمگن *

Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks*

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

تثبیت خوشه ای جزئی و تثبیت آبشار جزئی شبکه های فیزیکی *

Partial Cluster Stabilization and Partial Cascade Stabilization of Physical Networks*

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

یک مدل ترکیبی-پویا برای جریان های مسافری در سیستم های حمل و نقل *

A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems*

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

نامعتبر بودن مدل برای سیستم های متناسب با استفاده از نرم افزار برای تشخیص خطا و ناهنجاری *

Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection*

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

تنظیم مقررات شبکه قدرت برای کنترل مطلوب کنترل حالت

Power Network Regulation Benchmark for Switched-Mode Optimal Control

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

تکنیک چندرسانه ای برای کنترل مشکلات بهینه با استفاده از شبکه های قدرت آگاهی *

Multiple Shooting Technique for Optimal Control Problems with Application to Power Aware Networks*

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

استفاده از حالت های شار اولیه برای برآورد فاصله تا تغییر رژیم در سیستم های جنبشی *

Using Elementary Flux Modes to Estimate the Distance to Regime Shifts in Kinetic Systems*

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

روش های بازخورد ترکیبی برای تبدیل قدرت قوی و جهانی *

Hybrid Feedback Control Methods for Robust and Global Power Conversion*

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

استحکام عود برای یک کلاس از سیستم های ترکیبی تصادفی *

Robustness of recurrence for a class of stochastic hybrid systems*

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

کنترل پایدار سیستم های خطی نامشخص براساس دسترسی پذیری تصادفی

Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability

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

کنترل ایمنی با تضمین عملکرد سیستم های تعاونی با استفاده از انتزاع های ترکیب شده *

Safety control with performance guarantees of cooperative systems using compositional abstractions*

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

کنترل پیش بینی کننده مدل قوی برای سنتز منطق زمانی

Robust Model Predictive Control for Signal Temporal Logic Synthesis

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

کنترل عمل پیوسته برای ردیابی منیفولد های غیرمستقیم آزاد *

Sequential Action Control for Tracking of Free Invariant Manifolds*

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

مدل سازی و بهینه سازی سیستم های هیبریدی *

Modeling and Optimization of Hybrid Systems*

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

بررسی ثبات سیستم های خطی تقریبا دوره ای با استفاده از تجزیه و تحلیل پذیری *

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis*

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

تجزیه و تحلیل ثبات با استفاده از انتزاع گسسته. کاربرد پایداری ولتاژ ژنراتورهای توزیع شده *

Stability Analysis by means of Discrete Abstraction. Application to Voltage Stability of Distributed Generators*

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

پایداری سیستم های کنترل بازنشستگی با زمان با قانون بازنشستگی وابسته به زمان *

Stability of time-delay reset control systems with time-dependent resetting law*

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

پارامتر حساسیت و محدودیت مدارهای مجتمع دوره ای ترکیبی رباتیک

Parameter Sensitivity and Boundedness of Robotic Hybrid Periodic Orbits*

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

قابل مشاهده بودن و طراحی ناظر شبکه های پتری ناشناخته است

Observability and Observer Design of Partially Observed Petri Nets

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

طراحی کنترل شبکه های پتری نژادی ابتدایی با استفاده از کنترل پیشگوئی مدل

Control Design of Elementary Hybrid Petri Nets via Model Predictive Control

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

ردیابی احتمالی عمومی در سیستم های هیبریدی خطی با پویای دیجیتالی مدل شبکه پتری *

Eventual Generic Observability in Linear Hybrid Systems with discrete dynamic modeled by Petri nets*

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

رفع توابع کنترل مانع کنترل ایمنی بحرانی *

Robustness of Control Barrier Functions for Safety Critical Control*

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

تحلیل ایمنی سیستم های دینامیکی اتفاقی

Safety Analysis of Stochastic Dynamical Systems

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

گواهینامه های مانع مانیتورینگ برای رفتار خطرناک

Control Barrier Certificates for Safe Swarm Behavior

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

کنترل سیستم های خطی در معرض زیان های بسته *

Controllability of linear systems subject to packet losses*

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

سیستم نظارت مبتنی بر محرمانه سیستم های رویداد گسسته

Invariant-based Supervisory Control of Switched Discrete Event Systems*

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

الگوریتم تثبیت کننده ایده آل برای مدارهای دوره ای سیستم های دینامیکی هیبریدی: کاربرد در حال اجرا در دو قطبی *

Iterative Robust Stabilization Algorithm for Periodic Orbits of Hybrid Dynamical Systems: Application to Bipedal Running*

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

طراحی کنترل کننده برنامه ریزی شده برای سیستم های با دو پیکربندی حسگر سوئیچ: یک روش فرکانس دامنه *

Scheduled controller design for systems with two switching sensor configurations: A frequency-domain approach*

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

شبیه سازی قدم / تأیید صحت بر مبنای سیستم هیبریدی تعیین کننده غیرخطی با ورودی *

Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs*

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

یک کنترلر رمپ اندازه گیر برای سیستم های ترافیکی آزاد

A switched ramp-metering controller for freeway traffic systems

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

مسیرهای حداقل زمان سیستم محور برای وسایل نقلیه باتری در شبکه با گره های شارژ

System-Centric Minimum-Time Paths for Battery-Powered Vehicles in Networks with Charging Nodes*

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

یک مطالعه در مورد حل گارد و تقاطع مجموعه ای غیر متغیری در دسترسی پذیری های زونوتوپ از سیستم های ترکیبی خطی

A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems

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

رویکرد سیستم ترکیبی به هماهنگ سازی جهانی و هماهنگی سیستم های اطلاعاتی نمونه چندگانه *

A hybrid systems approach to global synchronization and coordination of multi-agent sampled-data systems*

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

علت در مقابل اثر در سیستم های ترکیبی: یک رویکرد تجزیه و تحلیل دقیق غیر استاندارد

Cause versus Effect in Hybrid Systems: A Rigorous Non-standard Analysis Approach

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

استنتاج منطقی زمانبندی با اطلاعات پیشین: کاربردی برای جنبش بازوهای ربات *

Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements*

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

کنترل قابل کنترل در کنترل های خطی کنترل شده بر روی چند جمله ای

In-Block Controllability of Controlled Switched Linear Systems on Polytopes*

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

کنترل ایمنی بحرانی برای پیاده روی دو پهلوئی دینامیک با قرار دادن دقیق فوکوس

Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement*

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

محاسبه انتزاعی های محدود با حاشیه های قوی از طریق مجموعه قابل دستیابی محلی بیش از حد تقریبی *

Computing finite abstractions with robustness margins via local reachable set over-approximation*

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

Contents

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

Robustness of Simulink/Stateflow Model Against Implementation Imperfections*

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

Controller Synthesis for Mode-Target Games

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

Bifurcations in Timed Continuous Petri Nets

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

Controller Synthesis for Probabilistic Safety Specifications using Observers*

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

Passivity-Based Control with Guaranteed Safety via Interconnection and Damping Assignment

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

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems*

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

Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets

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

Observer-based Similarity Output Feedback Control of Cyber-Physical Systems*

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

Nonlinear Systems Evolving with State Suprema as Multi-Mode Multi-Dimensional (M3D) Systems: Analysis & Observation

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

Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis*

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

Time Optimal Hybrid Minimum Principle and the Gear Changing Problem for Electric Vehicles

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

Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control

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