Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- 期刊名称IEEE Transactions on Automatic Control
- 作者Yin, Xiang; Lafortune, Stephane
- 印刷ISSN0018-9286
- 电子ISSN1558-2523
- 文件大小1958.76KB
- 发表时间2015
- DOI10.1109/TAC.2015.2460391
- 页码1-1
[IEEE 2015 16th IEEE International Conference on Mobile Data Management (MDM) - Pittsburgh, PA, USA (2015.6.15-2015.6.18)] 2015 16th IEEE International Conference on Mobile Data Management - The PersonaCheck System for Personalizing M-Commerce Checkout ProcessesConstantinides, Argyris; Belk, Marios; Germanakos, Panagiotis; Samaras, George · 2015
[IEEE 2015 IEEE 16th International Conference on Communication Technology (ICCT) - Hangzhou, China (2015.10.18-2015.10.20)] 2015 IEEE 16th International Conference on Communication Technology (ICCT) - An 8–12G PA driver amplifier using 0.18 µm BiCMOS technology with 19.4dBm outputpowerDezheng Zhu, ; Hao Zhang, ; Qing Deng, · 2015
[IEEE 2015 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Takamatsu, Japan (2015.6.1-2015.6.3)] 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - A new algorithm for m-closest keywords query over spatial Web with grid partitioningQiu, Yuan; Ohmori, Tadashi; Shintani, Takahiko; Fujita, Hideyuki · 2015
[IEEE 2015 9th International Conference on Application of Information and Communication Technologies (AICT) - Rostov on Don, Russia (2015.10.14-2015.10.16)] 2015 9th International Conference on Application of Information and Communication Technologies (AICT) - Extended recursive soft sequential estimation of m-sequencesBalanov, Michael; Prozorov, Dmitriy · 2015
[IEEE 2015 12th International Multi-Conference on Systems, Signals & Devices (SSD) - Mahdia, Tunisia (2015.3.16-2015.3.19)] 2015 IEEE 12th International Multi-Conference on Systems, Signals & Devices (SSD15) - Improvement of the linearity and conversion gain of an ultra wideband up-conversion mixer in CMOS 0.18 μm technologyNeifar, Amel; Bouzid, Ghazi; Masmoudi, Mohamed · 2015
[IEEE 2015 8th International Conference on Biomedical Engineering and Informatics (BMEI) - Shenyang, China (2015.10.14-2015.10.16)] 2015 8th International Conference on Biomedical Engineering and Informatics (BMEI) - Study of classification model for college students' M-learning strategies based on PCA-LVQ neural networkHu, Shuai; Gu, Yan; Jiang, Hua · 2015
[IEEE 2015 6th International Conference on Computers and Devices for Communication (CODEC) - Kolkata, India (2015.12.16-2015.12.18)] 2015 6th International Conference on Computers and Devices for Communication (CODEC) - Signal-to-noise ratio for a Ge-GeSn-GeSn Hetero PhotoTransistors at 1.55 µmBasu, Rikmantra; Chakraborty, Vedatrayee; Mukhopadhyay, Bratati; Basu, P. K. · 2015
Context Aware Computing for The Internet of Things: A SurveyPerera, Charith; Zaslavsky, Arkady; Christen, Peter; Georgakopoulos, Dimitrios · IEEE Communications Surveys & Tutorials · 2014
Internet of Things Platform for Smart Farming: Experiences and Lessons LearntJayaraman, Prem; Yavari, Ali; Georgakopoulos, Dimitrios; Morshed, Ahsan; Zaslavsky, Arkady · Sensors · 2016
Sensing as a Service Model for Smart Cities Supported by Internet of ThingsPerera, Charith; Zaslavsky, Arkady; Christen, Peter; Georgakopoulos, Dimitrios · 2014
Sensing as a service model for smart cities supported by Internet of ThingsPerera, Charith; Zaslavsky, Arkady; Christen, Peter; Georgakopoulos, Dimitrios · Transactions on Emerging Telecommunications Technologies · 2014
Sensor Search Techniques for Sensing as a Service Architecture for the Internet of ThingsPerera, Charith; Zaslavsky, Arkady; Liu, Chi Harold; Compton, Michael; Christen, Peter; Georgakopoulos, Dimitrios · IEEE Sensors Journal · 2014
[IEEE 2013 Ninth International Conference on Semantics, Knowledge and Grids (SKG) - Beijing, China (2013.10.3-2013.10.4)] 2013 Ninth International Conference on Semantics, Knowledge and Grids - Semantic-Driven Configuration of Internet of Things MiddlewarePerera, Charith; Zaslavsky, Arkady; Compton, Michael; Christen, Peter; Georgakopoulos, Dimitrios · 2013
[IEEE 2012 IEEE International Conference on Green Computing and Communications (GreenCom) - Besancon, France (2012.11.20-2012.11.23)] 2012 IEEE International Conference on Green Computing and Communications - CA4IOT: Context Awareness for Internet of ThingsPerera, Charith; Zaslavsky, Arkady; Christen, Peter; Georgakopoulos, Dimitrios · 2012
[IEEE 2014 47th Hawaii International Conference on System Sciences (HICSS) - Waikoloa, HI (2014.1.6-2014.1.9)] 2014 47th Hawaii International Conference on System Sciences - MOSDEN: An Internet of Things Middleware for Resource Constrained Mobile DevicesPerera, Charith; Jayaraman, Prem Prakash; Zaslavsky, Arkady; Georgakopoulos, Dimitrios; Christen, Peter · 2014