搜索页_+reachability+analysis

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(3)	SpringerLink电子期刊(737)	Elsevier电子期刊(868)
Springer电子图书(14)	ProQuest学位论文(30)	ACS电子期刊(3)

在“Elsevier电子期刊”中，命中：868条，耗时：小于0.01 秒

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

1.On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

作者：Igor Konnov ; Helmut Veith ; Josef Widder ; ^{widder@forsyte.at}

关键词：Model checking ; Fault-tolerant distributed algorithms ; Byzantine faults ; Computational models

刊名：Information and Computation

出版年：2017

2.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

3.A generic framework for symbolic execution: A coinductive approach

作者：Dorel Lucanu^a ; ^{dlucanu@info.uaic.ro} ; Vlad Rusu^b ; ^{vlad.rusu@inria.fr} ; Andrei Arusoaie^a ; ^b ; ^{andrei.arusoaie@info.uaic.ro}

关键词：Symbolic execution ; Programming language ; Formal operational semantics ; Reachability logic ; Circular coinduction ; Program verification

刊名：Journal of Symbolic Computation

出版年：2017

4.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

5.Information-driven network resilience: Research challenges and perspectives

作者：Jacek Rak^a ; ^{jrak@pg.gda.pl} ; Dimitri Papadimitriou^b ; ^{dimitri.papadimitriou@nokia.com} ; Heiko Niedermayer^c ; ^{niedermayer@net.in.tum.de} ; Pablo Romero^d ; ^{promero@fing.edu.uy}

关键词：Information-centric networking ; Resilience ; Failures ; Availability ; Accessibility

刊名：Optical Switching and Networking

出版年：2017

6.Rewriting modulo SMT and open system analysis

作者：Camilo Rocha^a ; ^{camilo.rocha@javerianacali.edu.co} ; José ; Meseguer^b ; ^{meseguer@cs.illinois.edu} ; Cé ; sar Muñ ; oz^c ; ^{cesar.a.munoz@nasa.gov}

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

7.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

8.Robust stabilization of underactuated nonlinear systems: A fast terminal sliding mode approach

作者：Qudrat Khan^a ; ^b ; ^{qudratullah@comsats.edu.pk} ; Rini Akmeliawati^a ; ^{rakmelia@iium.edu.my} ; Aamer Iqbal Bhatti^c ; ^{aamer987@gmail.com} ; Mahmood Ashraf Khan^b ; ^{mahmoodashraf@comsats.edu.pk}

关键词：Underactuated systems ; Fast terminal attractor ; Inverted pendulum ; Finite time sliding mode enforcement ; Experimental results

刊名：ISA Transactions

出版年：2017

9.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

10.Quantized feedback fuzzy sliding mode control design via memory-based strategy

作者：Suzhen Ran^a ; ^{ransuzhen1979@sina.com} ; Yanmei Xue^b ; ^{ymxue1@163.com} ; Bo-Chao Zheng ; ^c ; ^{zhengbochao81@126.com} ; ^{zhengbochao81@163.com} ; Zhenyou Wang^d ; ^{cencool@163.com}

关键词：Sliding mode control ; Quantization mismatch ; T-S fuzzy systems ; Adaptive neural control

刊名：Applied Mathematics and Computation

出版年：2017

按检索点细分(868)

题名(230)

关键词(321)

文摘(723)

按出版年细分(868)

2027年及以后(36)

2017年(14)

2016年(55)

2015年(21)

2014年(8)

2013年(54)

2012年(61)

2011年(70)

2010年(50)

2009年(73)

2008年(54)

2007年(38)

2006年(47)

2005年(48)

2004年(33)

2003年(40)

2002年(35)

2001年(14)

2000年(19)

2000年及以前(98)