IIIT Hyderabad Publications |
|||||||||
|
eterson’s Mutual Exclusion Algorithm as Feedback ControlAuthors: Arjun Sanjeev,Venkatesh Choppella,K Viswanath Conference: 2nd Symposium on Application of Formal Methods for Safety & Security of Critical Systems Date: 2018-02-25 Report no: IIIT/TR/2018/11 AbstractWe present a feedback control approach to the problem of mu- tual exclusion, using transition systems. As an example to illustrate the idea, we consider Peterson’s mutual exclusion algorithm and model the artefacts used in the algorithm as transition systems, the appropriate feed- back composition of which yields the desired mutual exclusion property to the resultant system. As we see later, the solution we build is very modu- lar, and the dynamics can be explained with simple equational reasoning. Full paper: pdf Centre for Software Engineering Research Lab |
||||||||
Copyright © 2009 - IIIT Hyderabad. All Rights Reserved. |