Distributed supervisory protection interlock system SLC acceleration

Walz, H.V.; Agostini, R.C.; Barker, Laura; Cherkassky, R.; Constant, Thiéry; Matheson, R.M.

doi:10.1109/pac.1989.72972

Search citation statements

Order By: Relevance

Paper Sections

Select...

Discussion1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Distributed safety interlocking systems may find application in any domain where safety depends on the guarantee that a set of objects is in a determined state. To our knowledge, however, the only example found in the literature is the one reported (with no details about the adopted algorithms) in [29], aimed to guarantee a safe access to a large physics experiment installation.…”

Section: Discussionmentioning

confidence: 99%

Safety Interlocking as a Distributed Mutual Exclusion Problem

Fantechi

Haxthausen

2018

Formal Methods for Industrial Critical Systems

View full text Add to dashboard Cite

 Users may download and print one copy of any publication from the public portal for the purpose of private study or research.  You may not further distribute the material or use it for any profit-making activity or commercial gain  You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

show abstract

Section: Discussionmentioning

confidence: 99%