A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
The theory of deadlock avoidance via discrete control
2009
SIGPLAN notices
Preserved Fulltext
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
2008
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007 - EuroSys '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2007
ACM SIGOPS Operating Systems Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2012
Engineering applications of artificial intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2010
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 9th International Workshop on Discrete Event Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2021
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2020
IEEE Transactions on Systems, Man & Cybernetics. Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 IEEE 51st IEEE Conference on Decision and Control (CDC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2012
Transactions on Maritime Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 2011 Winter Simulation Conference (WSC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Promet (Zagreb)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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