Systems and Control - PDFSEARCH.IO - Document Search Engine

Systems and Control
Results: 6169

#	Item
1	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-04-24 16:51:40 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
2	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface
3	Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-15 09:37:52 Logic 120-cell Linear temporal logic Substitution Markov decision process Symbol Theoretical computer science Mathematical logic
4	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-10 04:10:19 Aircraft instruments Standards Covert channel Steganography ARINC 653 ARINC Verification Human behavior Technology User interface design Design
5	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-04-25 05:07:53 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Stochastic game Linear temporal logic Markov chain Markov decision process
6	Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton Add to Reading List Source URL: www.usenix.org Language: English - Date: 2017-07-14 07:19:47
7	A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Control engineering Systems theory Systems science Control theory Cybernetics Computational mathematics Sliding mode control
8	1 Cross Coupled Iterative Learning Control of Systems with Dissimilar Dynamics via Coupled Filter Shaping: Design and Implementation Kira L. Barton, Member, IEEE and David J. Hoelzle,” Member,” IEEE and Andrew G. Al Add to Reading List Source URL: dcas.gist.ac.kr Language: English - Date: 2009-11-29 21:28:19
9	European and Mediterranean Plant Protection Organization Organisation Europe´enne et Me´diterrane´enne pour la Protection des Plantes PMNational regulatory control systems Add to Reading List Source URL: gd.eppo.int Language: English - Date: 2014-09-20 12:07:51
10	European and Mediterranean Plant Protection Organization Organisation Europe´enne et Me´diterrane´enne pour la Protection des Plantes PMNational regulatory control systems Add to Reading List Source URL: gd.eppo.int Language: English - Date: 2014-09-20 12:07:51