Method for operating a safety control device
作者： Simon Stegmaier , Timo Nawratil , Juergen Wuellrich
DOI:
关键词:
摘要: The invention relates to a method for operating safety control device (26), comprising the following steps: providing number of calculation unit (36, 38); detecting an input signal; determining floating point value depending on interval value; result intervals, wherein respective is determined by means units 38), and 38) are designed apply at least one first computing rule containing arithmetic interval; output basis intervals when criterion met; signal outputting signal.
lens.org 参考文章(22)
Josh Milthorpe, Using Interval Analysis to Bound Numerical Errors in Scientific Computing ,(2005)
Arnold Neumaier, Taylor Forms—Use and Limits Reliable Computing. ,vol. 9, pp. 43- 79 ,(2003) , 10.1023/A:1023061927787
Dieter Kleyer, Hans-Dieter Humpert, Redundant automation system comprising a master and a standby automation device ,(2005)
Joseph Claes, Redundant process control system ,(1998)
E. R. Hansen, A generalized interval arithmetic Lecture Notes in Computer Science. pp. 7- 18 ,(1975) , 10.1007/3-540-07170-9_2
Afonso Paiva, Filipe de Carvalho Nascimento, Luiz Henrique de Figueiredo, Jorge Stolfi, Approximating Implicit Curves on Triangulations with Affine Arithmetic brazilian symposium on computer graphics and image processing. pp. 94- 101 ,(2012) , 10.1109/SIBGRAPI.2012.22
Atanu Sengupta, Tapan Kumar Pal, On comparing interval numbers European Journal of Operational Research. ,vol. 127, pp. 28- 43 ,(2000) , 10.1016/S0377-2217(99)00319-7
Rosalind Cecily Young, The algebra of many-valued quantities Mathematische Annalen. ,vol. 104, pp. 260- 290 ,(1931) , 10.1007/BF01457934
T. Hickey, Q. Ju, M. H. Van Emden, Interval arithmetic: From principles to implementation Journal of the ACM. ,vol. 48, pp. 1038- 1068 ,(2001) , 10.1145/502102.502106
Rupak Majumdar, Indranil Saha, Zilong Wang, Systematic testing for control applications formal methods. pp. 1- 10 ,(2010) , 10.1109/MEMCOD.2010.5558629