{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T14:04:52Z","timestamp":1726063492100},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030369866"},{"type":"electronic","value":"9783030369873"}],"license":[{"start":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:00:00Z","timestamp":1575849600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-36987-3_9","type":"book-chapter","created":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T05:34:36Z","timestamp":1577856876000},"page":"144-164","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Generalised Dining Philosophers as Feedback Control"],"prefix":"10.1007","author":[{"given":"Venkatesh","family":"Choppella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arjun","family":"Sanjeev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kasturi","family":"Viswanath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bharat","family":"Jayaraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,12,9]]},"reference":[{"key":"9_CR1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Visslides, R.: Design Patterns: Elements of Reusable Object-Oriented Software. Addisson-Wesley, Reading (1994)"},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5","volume-title":"Verification and Control of Hybrid Systems: A Symbolic Approach","author":"P Tabuada","year":"2009","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-1-4419-0224-5"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Choppella, V., Viswanath, K., Sanjeev, A.: Generalised dining philosophers as feedback control. arXiv preprint arXiv:1805.02010 (2018)","DOI":"10.1007\/978-3-030-36987-3_9"},{"key":"9_CR4","volume-title":"Parallel Program Design: A Foundation","author":"M Chandy","year":"1988","unstructured":"Chandy, M., Misra, J.: Parallel Program Design: A Foundation. Addison\u2013Wesley, Reading (1988)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"EW Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115\u2013138 (1971). Also published as EWD 310","journal-title":"Acta Informatica"},{"key":"9_CR6","unstructured":"Dijkstra, E.W.: Two starvation-free solutions of a general exclusion problem. Circulated privately (1977)"},{"key":"9_CR7","unstructured":"Papatriantafilou, M.: On distributed resource handling: dining, drinking and mobile philosophers. In: Proceedings of the First International Conference on Principles of Distributed Systems (OPODIS), pp. 293\u2013308(1997)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/0022-0000(81)90015-5","volume":"23","author":"N Lynch","year":"1981","unstructured":"Lynch, N.: Upper bounds for static resource allocation in a distributed system. J. Comput. Syst. Sci. 23, 254\u2013278 (1981)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P Ramadge","year":"1989","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1145\/1780.1804","volume":"6","author":"KM Chandy","year":"1984","unstructured":"Chandy, K.M., Misra, J.: The drinking philosophers problem. ACM Trans. Program. Lang. Syst. 6(4), 632\u2013646 (1984)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF02242711","volume":"6","author":"JL Welch","year":"1993","unstructured":"Welch, J.L., Lynch, N.A.: A modular drinking philosophers algorithm. Distrib. Comput. 6(4), 233\u2013244 (1993)","journal-title":"Distrib. Comput."},{"key":"9_CR12","volume-title":"Distributed Algorithms","author":"N Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, Burlington (1996)"},{"key":"9_CR13","unstructured":"Rhee, I.: A fast distributed modular algorithm for resource allocation. In: Proceedings of the 15th International Conference on Distributed Computing Systems, 1995, pp. 161\u2013168, May 1995"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Sidhu, D.P., Pollack, R.H.: A robust distributed solution to the generalized dining philosophers problem. In: 1984 IEEE First International Conference on Data Engineering, pp. 483\u2013489. IEEE (1984)","DOI":"10.1109\/ICDE.1984.7271310"},{"key":"9_CR15","unstructured":"Weidman, E.B., Page, I.P., Pervin, W.J.: Explicit dynamic exclusion algorithm"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Zhan, J., Guo, Y., Liu, C.: A deadlock prevention using adjacency matrix on dining philosophers problem, vol. 121\u2013126 (2012)","DOI":"10.4028\/www.scientific.net\/AMM.121-126.1191"},{"key":"9_CR17","unstructured":"Awerbuch, B., Saks, M.: A dining philosophers algorithm with polynomial response time. In: Proceedings of the 31st Symposium on Foundations of Computer Science (FOCS), pp. 65\u201374 (1990)"},{"key":"9_CR18","unstructured":"Haiyan, Q.: A Distributed Algorithm in Agda: The Dining Philosophers (1999)"},{"issue":"4","key":"9_CR19","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0020-0190(92)90182-U","volume":"41","author":"D Hoover","year":"1992","unstructured":"Hoover, D., Poole, J.: A distributed self-stabilizing solution to the dining philosophers problem. Inf. Process. Lett. 41(4), 209\u2013213 (1992)","journal-title":"Inf. Process. Lett."},{"key":"9_CR20","unstructured":"Keane, P., Moir, M.: A general resource allocation synchronization problem. In: 21st International Conference on Distributed Computing Systems, 2001, pp. 557\u2013564. IEEE (2001)"},{"issue":"10","key":"9_CR21","doi-asserted-by":"publisher","first-page":"965","DOI":"10.1002\/spe.4380121009","volume":"12","author":"TA Cargill","year":"1982","unstructured":"Cargill, T.A.: A robust distributed solution to the dining philosophers problem. Softw. Pract. Exp. 12(10), 965\u2013969 (1982)","journal-title":"Softw. Pract. Exp."},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-14553-7_18","volume-title":"Frontiers in Algorithmics","author":"Z You","year":"2010","unstructured":"You, Z., Xue, J., Ying, S.: Categorial semantics of a solution to distributed dining philosophers problem. In: Lee, D.-T., Chen, D.Z., Ying, S. (eds.) FAW 2010. LNCS, vol. 6213, pp. 172\u2013184. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14553-7_18"},{"key":"9_CR23","unstructured":"Nesterenko, M., Arora, A.: Dining philosophers that tolerate malicious crashes. In: Proceedings on the 22nd International Conference on Distributed Computing Systems, 2002, pp. 191\u2013198. IEEE (2002)"},{"issue":"2","key":"9_CR24","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0376-5075(80)90017-3","volume":"4","author":"E Chang","year":"1980","unstructured":"Chang, E.: n-philosophers: an exercise in distributed control. Comput. Netw. (1976) 4(2), 71\u201376 (1980)","journal-title":"Comput. Netw. (1976)"},{"issue":"1","key":"9_CR25","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/j.ipl.2005.03.006","volume":"95","author":"AK Datta","year":"2005","unstructured":"Datta, A.K., Gradinariu, M., Raynal, M.: Stabilizing mobile philosophers. Inf. Process. Lett. 95(1), 299\u2013306 (2005)","journal-title":"Inf. Process. Lett."},{"key":"9_CR26","unstructured":"Miremadi, S., Akesson, K., Fabian, M., Vahidi, A., Lennartson, B.: Solving two supervisory control benchmark problems in Supremica. In: Proceedings of the 9th International Workshop on Discrete Event Systems, pp. 131\u2013136. IEEE (2008)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-27269-1_8","volume-title":"Formal Aspects of Component Software","author":"S Andova","year":"2012","unstructured":"Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Distributed adaption of dining philosophers. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol. 6921, pp. 125\u2013144. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27269-1_8"},{"issue":"1\u20135","key":"9_CR28","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1016\/0165-6074(92)90353-9","volume":"35","author":"JG Vaughan","year":"1992","unstructured":"Vaughan, J.G.: The dining philosophers problem and its decentralisation. Microprocess. Microprogr. 35(1\u20135), 455\u2013462 (1992)","journal-title":"Microprocess. Microprogr."},{"key":"9_CR29","unstructured":"Siahaan, A.P.U.: Synchronization in dining philosophers problem using lock & release algorithm"},{"key":"9_CR30","unstructured":"Wang, Y., Kelly, T., Kudlur, M., Mahlke, S., Lafortune, S.: The application of supervisory control to deadlock avoidance in concurrent software. In: 9th International Workshop on Discrete Event Systems, WODES 2008, pp. 287\u2013292. IEEE (2008)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Mizoguchi, M., Ushio, T.: Output feedback controller design with symbolic observers for cyber-physical systems. arXiv preprint arXiv:1612.04974 (2016)","DOI":"10.4204\/EPTCS.232.7"},{"issue":"2","key":"9_CR32","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1109\/TAC.2013.2272885","volume":"59","author":"J Fu","year":"2014","unstructured":"Fu, J., Tanner, H.G., Heinz, J., Chandlee, J.: Adaptive symbolic control for finite-state transition systems with grammatical inference. IEEE Trans. Autom. Control. 59(2), 505\u2013511 (2014)","journal-title":"IEEE Trans. Autom. Control."},{"key":"9_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"9_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0941-1","volume-title":"Designing Embedded Systems with the Signal Programming Language: Synchronous, Reactive Specification","author":"A Gamati\u00e9","year":"2009","unstructured":"Gamati\u00e9, A.: Designing Embedded Systems with the Signal Programming Language: Synchronous, Reactive Specification. Springer, New York (2009). https:\/\/doi.org\/10.1007\/978-1-4419-0941-1"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-36987-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,14]],"date-time":"2021-02-14T17:56:33Z","timestamp":1613325393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-36987-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,9]]},"ISBN":["9783030369866","9783030369873"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-36987-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019,12,9]]},"assertion":[{"value":"9 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICDCIT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Distributed Computing and Internet Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bhubaneswar","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 January 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 January 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icdcit0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.icdcit.ac.in\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"110","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, there are 6 invited papers.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}