搜索页_+Reachability+problem

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(2)	SpringerLink电子期刊(953)	Elsevier电子期刊(406)
Springer电子图书(15)	ProQuest学位论文(33)	ACS电子期刊(2)

在“Elsevier电子期刊”中，命中：406条，耗时：0.0489713 秒

在所有数据库中总计命中：1,411条

1.Control synthesis for stochastic systems given automata specifications defined by stochastic sets

作者：Maryam Kamgarpour ^{mkamgar@control.ee.ethz.ch}Author Vitae ; Tony A. Wood ^{woodt@control.ee.ethz.ch}Author Vitae ; Sean Summers ^{ssummers@control.ee.ethz.ch}Author Vitae ; John Lygeros ^{lygeros@control.ee.ethz.ch}Author Vitae

关键词：Stochastic ; Dynamics ; Control synthesis ; Hybrid ; Automaton ; Reachability

刊名：Automatica

出版年：2017

2.Comparing columnar, row and array DBMSs to process recursive queries on graphs

作者：Carlos Ordonez ; Wellington Cabrera ; ^{wcabrera@cs.uh.edu" class="auth_mail" title="E-mail the corresponding author} ; Achyuth Gurram

关键词：Graph ; SQL ; Recursive query ; Matrix ; Reachability ; Query optimization

刊名：Information Systems

出版年：2017

3.Directed hypergraphs: Introduction and fundamental algorithms—A survey

作者：Giorgio Ausiello ^{ausiello@dis.uniroma1.it} ; Luigi Laura ; ^{laura@dis.uniroma1.it} ;

关键词：Directed hypergraphs ; Transitive closure ; Transitive reduction ; Shortest hyperpaths

刊名：Theoretical Computer Science

出版年：2017

4.Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

作者：Má ; ria Svoreňová ; ^a ; ^b ; ^{maria.svorenova@cs.ox.ac.uk} ; Jan Křetí ; nský ; ^c ; ^{jan.kretinsky@tum.de} ; Martin Chmelí ; k^d ; ^{martin.chmelik@ist.ac.at} ; Krishnendu Chatterjee^d ; ^{kchatterjee@ist.ac.at} ; Ivana Černá ; ^a ; ^{cerna@muni.cz} ; Calin Belta^e ; ^{cbelta@bu.edu}

关键词：Control ; Linear stochastic system ; Temporal logic ; Abstraction refinement ; Games

刊名：Nonlinear Analysis: Hybrid Systems

出版年：2017

5.Descriptor reduced-order sliding mode observers design for switched systems with sensor and actuator faults

作者：Shen Yin^a ; ^{shen.yin2011@gmail.com}Author Vitae ; Huijun Gao^a ; ^{hjgao@hit.edu.cn}Author Vitae ; Jianbin Qiu^a ; ^{jianbinqiu@gmail.com}Author Vitae ; Okyay Kaynak^b ; ^{okyay.kaynak@boun.edu.tr}Author Vitae

关键词：Sliding mode observer ; Switched systems ; Actuator faults ; Sensor faults

刊名：Automatica

出版年：2017

6.Hydras: Directed hypergraphs and Horn formulas

作者：Robert H. Sloan^a ; ^{sloan@uic.edu} ; Despina Stasi^b ; ^{stasdes@iit.edu} ; Gyö ; rgy Turá ; n^a ; ^c ; ^gyt@uic.edu

关键词：Directed hypergraphs ; Horn formulas ; Horn minimization ; Hydra ; Hydra number

刊名：Theoretical Computer Science

出版年：2017

7.Improving ATM coverage area using density based clustering algorithm and voronoi diagrams

作者：N. Raghu Kisore ; ^a ; ^{nraghukisore@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; CH. B Koteswaraiah^b ; ^{balu12mcmb28@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Density based ; Fuzzy ; Clustering algorithms ; ATM location ; Voronoi diagram

刊名：Information Sciences

出版年：2017

8.On the decidability and complexity of problems for restricted hierarchical hybrid systems

作者：Paul C. Bell^a ; ^{P.Bell@lboro.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Shang Chen^a ; ^{S.Chen3@lboro.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Lisa Jackson^b ; ^{L.M.Jackson@lboro.ac.uk" class="auth_mail" title="E-mail the corresponding author}

关键词：Hybrid systems ; Reachability and mortality ; Piecewise affine maps ; (Hierarchical) piecewise constant derivatives

刊名：Theoretical Computer Science

出版年：2016

9.The stochastic reach-avoid problem and set characterization for diffusions

作者：Peyman Mohajerin Esfahani^a ; ^{mohajerin@control.ee.ethz.ch" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Debasish Chatterjee^b ; ^{dchatter@iitb.ac.in" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; John Lygeros^a ; ^{lygeros@control.ee.ethz.ch" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Reachability ; Stochastic control ; Dynamic programming ; Partial differential equations ; Discontinuous viscosity solutions

刊名：Automatica

出版年：2016

10.Better abstractions for timed automata

作者：Fré ; dé ; ric Herbreteau^a ; ^{fh@labri.fr" class="auth_mail" title="E-mail the corresponding author} ; B. Srivathsan^b ; ^{sri@cmi.ac.in" class="auth_mail" title="E-mail the corresponding author} ; Igor Walukiewicz^a ; ^{igw@labri.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Timed automata ; Reachability problem ; Non-convex abstractions

刊名：Information and Computation

出版年：2016

按检索点细分(406)

题名(17)

关键词(22)

文摘(334)

按出版年细分(406)

2027年及以后(15)

2017年(7)

2016年(21)

2015年(8)

2014年(2)

2013年(26)

2012年(26)

2011年(27)

2010年(24)

2009年(42)

2008年(31)

2007年(22)

2006年(21)

2005年(20)

2004年(20)

2003年(16)

2002年(16)

2001年(7)

2000年(8)

2000年及以前(47)