Improved Reachability Analysis in DTMC via Divide and Conquer

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-38613-8_12 ◽

2013 ◽

pp. 162-176 ◽

Cited By ~ 3

Author(s):

Songzheng Song ◽

Lin Gui ◽

Jun Sun ◽

Yang Liu ◽

Jin Song Dong

Keyword(s):

Reachability Analysis ◽

Divide And Conquer

Download Full-text

Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.250.1 ◽

2017 ◽

Vol 250 ◽

pp. 1-14 ◽

Cited By ~ 4

Author(s):

Stefan Schupp ◽

Johanna Nellen ◽

Erika Ábrahám

Keyword(s):

Hybrid Systems ◽

Reachability Analysis ◽

Divide And Conquer ◽

Set Separation

Download Full-text

Scaffold Safety Analysis: Focusing on Divide-and-Conquer Method

Construction Research Congress 2020 ◽

10.1061/9780784482865.023 ◽

2020 ◽

Author(s):

Sayan Sakhakarmi ◽

Chunhee Cho ◽

JeeWoong Park

Keyword(s):

Safety Analysis ◽

Divide And Conquer

Download Full-text

Trajectory Planning Under Stochastic and Bounded Sensing Uncertainties Using Reachability Analysis

Proceedings of the 33rd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2020) ◽

10.33012/2020.17518 ◽

2020 ◽

Author(s):

Akshay Shetty ◽

Grace Xingxin Gao

Keyword(s):

Trajectory Planning ◽

Reachability Analysis

Download Full-text

Preimage Attacks on Reduced Troika with Divide-and-Conquer Methods

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.2019eap1166 ◽

2020 ◽

Vol E103.A (11) ◽

pp. 1260-1273

Author(s):

Fukang LIU ◽

Takanori ISOBE

Keyword(s):

Divide And Conquer

Download Full-text

Reachability analysis of hybrid control systems using reduced-order models

Proceedings of the 2004 American Control Conference ◽

10.23919/acc.2004.1386733 ◽

2004 ◽

Cited By ~ 5

Author(s):

Zhi Han ◽

B. Krogh

Keyword(s):

Control Systems ◽

Hybrid Control ◽

Reachability Analysis ◽

Reduced Order Models ◽

Reduced Order ◽

Hybrid Control Systems

Download Full-text

Divide and Conquer: German Efforts to Conclude a Separate Peace, 1914-1918, by L. L. FarrarDivide and Conquer: German Efforts to Conclude a Separate Peace, 1914-1918, by L. L. Farrar. Columbia University Press, New York, 1978. 180 pp. $12.00.

Canadian Journal of History ◽

10.3138/cjh.14.3.505 ◽

1979 ◽

Vol 14 (3) ◽

pp. 505-507

Author(s):

D. K. Buse

Keyword(s):

New York ◽

Divide And Conquer ◽

Columbia University

Download Full-text

Symbolic Reachability Analysis of Hybrid Systems

Journal of Software ◽

10.3724/sp.j.1001.2008.03111 ◽

2009 ◽

Vol 19 (12) ◽

pp. 3111-3121 ◽

Cited By ~ 4

Author(s):

Hai-Bin ZHANG ◽

Zhen-Hua DUAN

Keyword(s):

Hybrid Systems ◽

Reachability Analysis

Download Full-text

Simultaneous Localization and Sampled Environment Mapping Based on a Divide-and-conquer Ideology

ACTA AUTOMATICA SINICA ◽

10.3724/sp.j.1004.2010.01697 ◽

2011 ◽

Vol 36 (12) ◽

pp. 1697-1705 ◽

Cited By ~ 1

Author(s):

Rong-Chuan SUN ◽

Shu-Gen MA ◽

Bin LI ◽

Ming-Hui WANG ◽

Yue-Chao WANG

Keyword(s):

Divide And Conquer

Download Full-text

Reachability analysis of nonlinear hybrid systems based on polyhedron inclusion

Journal of Computer Applications ◽

10.3724/sp.j.1087.2013.01289 ◽

2013 ◽

Vol 33 (5) ◽

pp. 1289-1293

Author(s):

Jin ZOU ◽

Wang LIN ◽

Yong LUO ◽

Zhenbing ZENG

Keyword(s):

Hybrid Systems ◽

Reachability Analysis ◽

Nonlinear Hybrid

Download Full-text

A Divide-and-Conquer Approach for Language Identification Based on Recurrent Neural Networks

10.21437/interspeech.2016-180 ◽

2016 ◽

Cited By ~ 11

Author(s):

G. Gelly ◽

Jean-Luc Gauvain ◽

V.B. Le ◽

A. Messaoudi

Keyword(s):

Neural Networks ◽

Recurrent Neural Networks ◽

Language Identification ◽

Divide And Conquer

Download Full-text