Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

Mapping Intimacies ◽

10.1007/978-3-030-85248-1_9 ◽

2021 ◽

pp. 149-166

Author(s):

Andrej Kiviriga ◽

Kim Guldstrand Larsen ◽

Ulrik Nyman

Keyword(s):

Error Detection ◽

Reachability Analysis ◽

Download Full-text

SMT-based reachability analysis for Simply-Timed Systems

Scientific Issues Jan Długosz University in Częstochowa Mathematics ◽

10.16926/m.2015.20.09 ◽

2015 ◽

Vol 20 ◽

pp. 83-92

Author(s):

Agnieszka M. Zbrzezny ◽

Andrzej Zbrzezny

Keyword(s):

Reachability Analysis ◽

Download Full-text

Prevention or Cure? Error Detection and Correction in Skilled Typists

PsycEXTRA Dataset ◽

10.1037/e502412013-119 ◽

2012 ◽

Author(s):

Gordon D. Logan ◽

Matthew J. C. Crump

Keyword(s):

Error Detection ◽

Error Detection And Correction

Download Full-text

Hierarchical error detection produces cognitive illusions of authorship in skilled typing

PsycEXTRA Dataset ◽

10.1037/e520592012-020 ◽

2010 ◽

Author(s):

Gordon D. Logan ◽

Matthew J. C. Crump

Keyword(s):

Error Detection ◽

Cognitive Illusions

Download Full-text

Concurrent error detection in array dividers by alternating input data

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1992.0019 ◽

1992 ◽

Vol 139 (2) ◽

pp. 123 ◽

Author(s):

C.-L. Wey

Keyword(s):

Error Detection ◽

Concurrent Error Detection

Download Full-text

Space—time mapping, latency of data flow and concurrent error detection in systolic arrays

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1993.0004 ◽

1993 ◽

Vol 140 (1) ◽

pp. 33

Author(s):

H.F. Li ◽

C.N. Zhang ◽

R. Jayakumar

Keyword(s):

Error Detection ◽

Data Flow ◽

Systolic Arrays ◽

Concurrent Error Detection

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

Design of Multidirectional Parity Code Using Hamming Code Technique for Error Detection and Correction

PARIPEX-INDIAN JOURNAL OF RESEARCH ◽

10.15373/22501991/may2014/27 ◽

2012 ◽

Vol 3 (5) ◽

pp. 79-81

Author(s):

Vishal Badole ◽

◽

Amit Udawat

Keyword(s):

Error Detection ◽

Hamming Code ◽

Code Technique ◽

Error Detection And Correction

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 ◽

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

AUTOMATIC-CONTROLLED INFORMATION PROCESSING AND ERROR DETECTION IN A SIMULATED PHARMACY-VERIFICATION TASK

Perceptual and Motor Skills ◽

10.2466/pms.97.5.151-174 ◽

2003 ◽

Vol 97 (5) ◽

pp. 151

Author(s):

SEAN REILLEY

Keyword(s):

Information Processing ◽

Error Detection ◽

Verification Task

Download Full-text

A method for unsupervised broad-coverage lexical error detection and correction

Proceedings of the Fourth Workshop on Innovative Use of NLP for Building Educational Applications - EdAppsNLP '09 ◽

10.3115/1609843.1609851 ◽

2009 ◽

Author(s):

Nai-Lung Tsao ◽

David Wible

Keyword(s):

Error Detection ◽

Error Detection And Correction

Download Full-text