본문

  1. Home
9 Results:AA:LAFORTUNE S 0.500 sec.
RSS 
 Расширенный поиск
 Новый поиск книги прибытия
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
Selected Print Select Export to Excel
1
Decentralized Supervisory Control With Intersection-Based Architecture
Decentralized Supervisory Control With Intersection-Based Architecture
Xiang, Y. / Xiang, Y. / 2016

종합자료실 / 대출가능
Naver
печати Content Info
2
A Uniform Approach for Synthesizing Property-Enforcing Super끼sors for Partially-Observed Discrete-Event Systell1s
A Uniform Approach for Synthesizing Property-Enforcing Super끼sors for Partially-Observed Discrete-Event Systell1s
X Yin and S. Lafortune / X Yin and S. Lafortune / 2016

종합자료실 / 대출가능
Naver
печати Content Info
3
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Xiang, Y. / Xiang, Y. / 2016

종합자료실 / 대출가능
Naver
печати Content Info
4
Synthesis of Optimal Insertion Functions for Opacity Enforcement
Synthesis of Optimal Insertion Functions for Opacity Enforcement
Yi-Chin, W. / Yi-Chin, W. / 2016

종합자료실 / 대출가능
Naver
печати Content Info
5
SAT-Based Control of Concurrent Software for Deadlock Avoidance
SAT-Based Control of Concurrent Software for Deadlock Avoidance
Stanley, J. / Stanley, J. / 2015

종합자료실 / 대출가능
Naver
печати Content Info
6
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
Liao, H. / Liao, H. / 2013

종합자료실 / 대출가능
Naver
печати Content Info
7
Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
Wang, W. / Wang, W. / 2010

종합자료실 / 대출가능
Naver
печати Content Info
8
Verification of Nonconflict of Supervisors Using Abstractions
Verification of Nonconflict of Supervisors Using Abstractions
Pena, P.N. / Pena, P.N. / 2009

종합자료실 / 대출가능
Naver
печати Content Info
9
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
Yin, X. / Yin, X. / 2017

종합자료실 / 대출가능
Naver
печати Content Info
처음1마지막
Моя история поиска

Сортировка
Очистить
Формат
    E-journal
    Автор
      Издатель
        Год
          Язык