본문

  1. Home
9 Results:AA:LAFORTUNE S 0.640 sec.
RSS 
 การค้นหาขั้นสูง
 เดินทางมาถึงค้นหาวัสดุใหม่
검색결과에 원하는 자료가 없을 경우 희망도서신청이 가능합니다. 희망도서신청 바로가기
พิมพ์ที่เลือก 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
พิมพ์ เนื้อหา
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
พิมพ์ เนื้อหา
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
พิมพ์ เนื้อหา
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
พิมพ์ เนื้อหา
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
พิมพ์ เนื้อหา
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
พิมพ์ เนื้อหา
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
พิมพ์ เนื้อหา
8
Verification of Nonconflict of Supervisors Using Abstractions
Verification of Nonconflict of Supervisors Using Abstractions
Pena, P.N. / Pena, P.N. / 2009

종합자료실 / 대출가능
Naver
พิมพ์ เนื้อหา
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
พิมพ์ เนื้อหา
처음1마지막
ประวัติการค้นหาของฉัน

เรียง
ปรับแต่ง
รูปแบบ
    E-journal
    ผู้เขียน
      ผู้เผยแพร่
        หนึ่งปี
          ภาษา