Controller - PDFSEARCH.IO - Document Search Engine

Controller
Results: 12952

#	Item
11	Controller Synthesis for Autonomous Systems Interacting with Human Operators ∗ Lu Feng Clemens Wiltsche Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-05-16 17:33:04 Microeconomics Economy Avionics Robotics Unmanned aerial vehicle Wireless Pareto efficiency Workload Business
12	Microsoft Word - OFC2018 SDN Controller-Paper-v5.doc Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-24 18:35:47 Network architecture Computing Computer architecture Information and communications technology Emerging technologies Configuration management Software-defined networking Reconfigurable optical add-drop multiplexer Computer network Routing Multiprotocol Label Switching Internet protocol suite
13	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
14	Decoupling Prediction and Control in Modern Networks Sandeep Chinchali, Alex Anemogiannis, Tianshu Chu, Marco Pavone, Sachin Katti Forecaster Controller Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-09-10 17:18:04 Controller Control theory Fiction
15	Permissive Controller Synthesis for Probabilistic Systems Klaus Dr¨ ager3 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Mateusz Ujma1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-03-24 08:41:21 Linear temporal logic Temporal logic Control theory Applied mathematics Systems science Mathematics
16	An Experimental Security Analysis of an Industrial Robot Controller Davide Quarta∗ , Marcello Pogliani∗ , Mario Polino∗ , Federico Maggi∗† , Andrea Maria Zanchettin∗ , and Stefano Zanero∗ ∗ Dipartimento Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:59 Computer architecture Robotics Computing Industrial robot Robot Humanrobot interaction Comau Cobot VxWorks Robot software Mobile robot
17	PDF Document Add to Reading List Source URL: controller.admin.ri.gov - Date: 2017-09-28 14:57:25
18	PDF Document Add to Reading List Source URL: controller.admin.ri.gov - Date: 2017-05-17 11:35:51
19	PDF Document Add to Reading List Source URL: controller.admin.ri.gov - Date: 2016-05-03 10:46:36
20	PDF Document Add to Reading List Source URL: controller.admin.ri.gov - Date: 2016-03-21 10:51:29