Controller - PDFSEARCH.IO - Document Search Engine

Controller
Results: 12952

#	Item
1	Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi Add to Reading List Source URL: mitras.ece.illinois.edu Language: English - Date: 2018-07-11 16:52:43 Control theory Systems theory Control engineering Systems science Classical control theory Computational mathematics Mathematical modeling State-space representation
2	GreenArrays ® AN016 Incremental PID Controller for a Brushed DC Motor Add to Reading List Source URL: www.greenarraychips.com Language: English - Date: 2014-11-12 13:55:20 Control engineering Systems theory Control theory Systems science Classical control theory Cybernetics Electric motors PID controller Rotary encoder Set point Odometer Motor controller
3	Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-02-20 06:08:48 Dynamic programming Markov processes Stochastic control Markov decision process Approximation algorithms Probability Computational complexity theory
4	Radeus 8200 Series Antenna Controller Earth Station 11m Antenna Ancient History Add to Reading List Source URL: www.forth.org - Date: 2015-11-23 10:42:05
5 $Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1$	Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-10-01 09:45:47 Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic
6	MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives Tom´ aˇs Br´ azdil1, Krishnendu Chatterjee2 , Vojtˇech Forejt3 , and Anton´ın Kuˇcera1 1 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-02-02 16:39:01 Markov processes Probability theory Probability Dynamic programming Markov decision process Stochastic control Reinforcement learning Memorylessness
7	Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:27:58 Mathematical analysis Measure theory Ergodic theory Lie algebras Stochastic processes
8	PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS ¨ ˇ KLAUS DRAGER, VOJTECH Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-04-22 07:56:09 Linear temporal logic Temporal logic Dynamical system Theoretical philosophy Reality
9	VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2018-05-02 15:22:10 Constructible universe Mathematical logic Mathematics Set theory Operator theory Partial differential equations Proof theory Ordinal numbers Moschovakis coding lemma Symbol
10	OpenROADM Compliant SDN Controller for a Full Interoperability of the Optical Transport Network Ahmed Triki(1) , Christophe Betoule(1) , Gilles Thouenon(1) , Olivier Renais(1) Nicolas Pelloquin(1) , Guillaume Lambert (1) Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-23 15:32:38 Ethernet Computing Network architecture Reconfigurable optical add-drop multiplexer Interoperability Optical networking 100 Gigabit Ethernet Mesh networking Gigabit Ethernet Information and communications technology Optical add-drop multiplexer