본문

  1. Home
9 Results:AA:LAFORTUNE S 0.562 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
    笔者
      出版商
        出版年
          语言