Filters








4,658 Hits in 2.7 sec

The theory of deadlock avoidance via discrete control

Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott Mahlke
2009 SIGPLAN notices  
At run time, the control logic avoids deadlocks by postponing lock acquisitions. Discrete Control Theory guarantees that the program instrumented with our synthesized control logic cannot deadlock.  ...  Beginning with control flow graphs extracted from program source code, we construct a formal model of the program and then apply Discrete Control Theory to automatically synthesize deadlockavoidance control  ...  Acknowledgments We thank Eric Anderson, Hans Boehm, Pramod Joisha, Hongwei Liao, Spyros Reveliotis, and the anonymous reviewers for many helpful comments.  ... 
doi:10.1145/1594834.1480913 fatcat:ecuks66hanfyrbjmo75sffzxse

The theory of deadlock avoidance via discrete control

Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott Mahlke
2008 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09  
At run time, the control logic avoids deadlocks by postponing lock acquisitions. Discrete Control Theory guarantees that the program instrumented with our synthesized control logic cannot deadlock.  ...  Beginning with control flow graphs extracted from program source code, we construct a formal model of the program and then apply Discrete Control Theory to automatically synthesize deadlockavoidance control  ...  Acknowledgments We thank Eric Anderson, Hans Boehm, Pramod Joisha, Hongwei Liao, Spyros Reveliotis, and the anonymous reviewers for many helpful comments.  ... 
doi:10.1145/1480881.1480913 dblp:conf/popl/WangLKKM09 fatcat:s6t3pn53mfdxrnllmaguxxvqpa

Discrete control for safe execution of IT automation workflows

Yin Wang, Terence Kelly, Stéphane Lafortune
2007 Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007 - EuroSys '07  
This paper applies discrete control theory to IT automation workflows.  ...  Discrete control detects flaws in workflows just as static analysis does, and more importantly it also allows safe execution of flawed workflows by dynamically avoiding run-time failures.  ...  We thank Arif Merchant, Kimberly Keeton and Brian Noble for comments that helped us improve the paper. We also thank the reviewers for their useful comments and suggestions.  ... 
doi:10.1145/1272996.1273028 dblp:conf/eurosys/WangKL07 fatcat:2dk57vfdjbhdfhhr4uat7f3l4q

Discrete control for safe execution of IT automation workflows

Yin Wang, Terence Kelly, Stéphane Lafortune
2007 ACM SIGOPS Operating Systems Review  
This paper applies discrete control theory to IT automation workflows.  ...  Discrete control detects flaws in workflows just as static analysis does, and more importantly it also allows safe execution of flawed workflows by dynamically avoiding run-time failures.  ...  We thank Arif Merchant, Kimberly Keeton and Brian Noble for comments that helped us improve the paper. We also thank the reviewers for their useful comments and suggestions.  ... 
doi:10.1145/1272998.1273028 fatcat:ix7lqspxljegfibpcqzj2yq424

Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets

Maria Pia Fanti, Stefano Mininel, Walter Ukovich, Federica Vatta
2012 Engineering applications of artificial intelligence  
C2 M.P.Fanti, B.Maione, Q.Semeraro, B.Turchiano:"Reliability of FMS Performance Measures Estimated via Operational Analysis: the Role of the Part-mix Characteristics" 2nd Int.  ...  Turchiano, "Design and Implementation of Supervisors Avoiding Deadlocks in Flexible Assembly Systems", IEEE-SMC Symposium on Discrete Events and Manufacturing Systems, CESA'98 IMACS, Multiconference, Hammamet  ... 
doi:10.1016/j.engappai.2010.11.003 fatcat:yy6zrqnv35ecjbnwfw7jagmrsa

Page 6671 of Mathematical Reviews Vol. , Issue 2004h [page]

2004 Mathematical Reviews  
the more traditional approaches of deadlock prevention/avoidance, and detection and recovery, and (ili) provided a methodology for selecting the optimal randomized deadlock avoidance policy for a given  ...  The input-output relation of quantum systems provides a natural extension of control theory to the quantum domain.  ... 

Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project

Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence P. Kelly, Stéphane Lafortune, Scott Mahlke, Spyros A. Reveliotis
2010 IFAC Proceedings Volumes  
We discuss our experience in the Gadara project, whose objective is to control the execution of software to avoid potential failures using discrete-event control techniques.  ...  After initial work on safety of workflow scripts via supervisory control techniques, we have focused our efforts on deadlock avoidance in multithreaded C programs that use locking primitives to control  ...  For workflows, 1 http://gadara.eecs.umich.edu/ 2 Our usage of the term deadlock avoidance refers to the elimination of all deadlocks at runtime by control logic synthesized offline; this is consistent  ... 
doi:10.3182/20100830-3-de-4013.00044 fatcat:yyis6jktzvabbakj4t5dahqiqq

The application of supervisory control to deadlock avoidance in concurrent software

Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, Stephane Lafortune
2008 2008 9th International Workshop on Discrete Event Systems  
Specifically, we synthesize feedback controllers for concurrent programs based on the theory of supervision based on place invariants and implement the controllers online to guarantee deadlock avoidance  ...  The methodology is based on supervisory control of discrete event systems modeled by Petri nets.  ...  BACKGROUND To avoid deadlocks using supervisory control theory, we must construct a formal model from the program.  ... 
doi:10.1109/wodes.2008.4605961 fatcat:kmsncptxbjc3pcjpxhbx2necju

Challenges in Application of Petri Nets in Manufacturing Systems

Iwona Grobelna, Andrei Karatkevich
2021 Electronics  
The progress made in automating control systems and the widespread use of Industry 4.0 pose a number of challenges to their application, starting from the education at university level and ending with  ...  The review of the literature is primarily based on the years 2019–2020 to reflect the current state of the art.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/electronics10182305 fatcat:nptvladai5dszcub7eelx5sbvq

Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems

Remigiusz Wisniewski, Mengchu Zhou, Luís Gomes, Maria Pia Fanti, Ratnesh Kumar
2020 IEEE Transactions on Systems, Man & Cybernetics. Systems  
The introduced robust control algorithm permits for deadlock avoidance. The correctness control for automated manufacturing systems is also considered by two further papers.  ...  Digital Object Identifier 10.1109/TSMC.2020.3020588 Yue et al. focused on the properties that the controller with robustness must satisfy in deadlock-prone unreliable systems.  ... 
doi:10.1109/tsmc.2020.3020588 dblp:journals/tsmc/WisniewskiZGFK20 fatcat:g3c24yu3p5bzbmfjqfnqypmfvy

On atomicity enforcement in concurrent software via Discrete Event Systems theory

Yin Wang, Peng Liu, Terence Kelly, Stephane Lafortune, Spyros Reveliotis, Charles Zhang
2012 2012 IEEE 51st IEEE Conference on Decision and Control (CDC)  
Our recent work avoids deadlock bugs in concurrent programs by adding control logic synthesized using Discrete Event Systems theory.  ...  We use the same class of Petri net models as in our prior work to capture program semantics, and handle atomicity violations by control specifications in the form of linear inequalities.  ...  Subsequently, techniques from DES control theory are used to synthesize control logic that will enforce the given specifications, namely, avoidance of circular-mutex-wait deadlocks in the prior work in  ... 
doi:10.1109/cdc.2012.6426112 dblp:conf/cdc/WangLKLRZ12 fatcat:6vpaax6jsbadtghav7saif6nuq

Page 4287 of Mathematical Reviews Vol. , Issue 2004e [page]

2004 Mathematical Reviews  
Summary: “A decentralized supervisory controller design ap- proach, using overlapping decompositions, is proposed for discrete-event systems modelled by Petri nets to avoid deadlock.  ...  Global position regulation of friction manipulators via switched chattering control. (English summary) Internat. J. Control 76 (2003), no. 14, 1446-1452.  ... 

Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals

Danko Kezić, Stjepan Bogdan, Josip Kasum
2012 Transactions on Maritime Science  
The paper proposes a formal method for design of deadlock prevention supervisor by using discrete event theory, multiple reentrant flowlines class of Petri net and P-invariants control places calculation  ...  To avoid conflict and deadlock states in waterway with multiple locks and canals, a computer based traffic management system with proper control policy must be applied.  ...  To avoid first level deadlocks, it is necessary to control number of vessels in every critical subsystem.  ... 
doi:10.7225/toms.v01.n01.004 fatcat:frfslvqshnaonbv4l5huw5zjk4

Simulation analysis of multithreaded programs under deadlock-avoidance control

Hongwei Liao, Hao Zhou, Stephane Lafortune
2011 Proceedings of the 2011 Winter Simulation Conference (WSC)  
We employ discrete event simulation to evaluate the performance of deadlock-prone multithreaded programs, either general-purpose software or parallel simulators, under a novel technique for deadlock-avoidance  ...  We discuss the implications of the above results on the practical implementation of control strategies that prevent deadlocks in multithreaded programs.  ...  Ricardo Lüders, and the anonymous reviewers for many helpful comments.  ... 
doi:10.1109/wsc.2011.6147798 dblp:conf/wsc/LiaoZL11 fatcat:nrapjujwyra5loesoe3mtimdmy

Design of River System Deadlock Avoidance Supervisor by Using Petri Net

Danko Kezić, Anita Gudelj
2010 Promet (Zagreb)  
The derived supervisor has been verified by a computer simulation using MATLAB environment. KEYWORDS traffic management system, deadlock avoidance, discrete event system, Petri net  ...  The first and the second level deadlocks can be avoided by maintaining the number of tokens in the critical subsystems and ensuring that the key resource would not be the last available resource in the  ...  To avoid conflicts, the first and second level deadlocks, the authors propose adding of control places (supervisor).  ... 
doi:10.7307/ptt.v22i3.273 fatcat:yf7rtuunzbadxlxbi22eia7y74
« Previous Showing results 1 — 15 out of 4,658 results