{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T14:38:44Z","timestamp":1773326324401,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030129873","type":"print"},{"value":"9783030129880","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-12988-0_1","type":"book-chapter","created":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:50:09Z","timestamp":1548982209000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formal Stability Analysis of Control Systems"],"prefix":"10.1007","author":[{"given":"Asad","family":"Ahmed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falah","family":"Awwad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,2]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-10702-8_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Ahmad","year":"2014","unstructured":"Ahmad, M., Hasan, O.: Formal verification of steady-state errors in unity-feedback control systems. In: Lang, F., Flammini, F. (eds.) FMICS 2014. LNCS, vol. 8718, pp. 1\u201315. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-10702-8_1"},{"key":"1_CR2","unstructured":"Ahmed, A.: System Analysis and Verification (SAVe) Lab. \n                    http:\/\/save.seecs.nust.edu.pk\/projects\/fsacs\/\n                    \n                  . Accessed 12 Sept 2018"},{"issue":"5","key":"1_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MPAE.2005.1507024","volume":"3","author":"SM Amin","year":"2005","unstructured":"Amin, S.M., Wollenberg, B.F.: Toward a smart grid: power delivery for the 21st century. IEEE Power Energ. Mag. 3(5), 34\u201341 (2005)","journal-title":"IEEE Power Energ. Mag."},{"key":"1_CR4","series-title":"Springer Undergraduate Mathematics Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-6395-4","volume-title":"An Introduction to Laplace Transforms and Fourier Series","author":"P Dyke","year":"2014","unstructured":"Dyke, P.: An Introduction to Laplace Transforms and Fourier Series. SUMS. Springer, London (2014). \n                    https:\/\/doi.org\/10.1007\/978-1-4471-6395-4"},{"issue":"4","key":"1_CR5","doi-asserted-by":"publisher","first-page":"800","DOI":"10.1109\/TEC.2004.827712","volume":"19","author":"J Ekanayake","year":"2004","unstructured":"Ekanayake, J., Jenkins, N.: Comparison of the response of doubly fed and fixed-speed induction generator wind turbines to changes in network frequency. IEEE Trans. Energy Convers. 19(4), 800\u2013802 (2004)","journal-title":"IEEE Trans. Energy Convers."},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Giordano, V., et al.: Smart grid projects in Europe. JRC Ref Rep Sy 8. Publications Office of the European Union, Luxembourg (2011). \n                    https:\/\/doi.org\/10.2790\/32946","DOI":"10.2790\/32946"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-03359-9_4","volume-title":"Theorem Proving in Higher Order Logics","author":"J Harrison","year":"2009","unstructured":"Harrison, J.: HOL light: an overview. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 60\u201366. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-03359-9_4"},{"key":"1_CR8","volume-title":"Theorem Proving with the Real Numbers","author":"J Harrison","year":"2012","unstructured":"Harrison, J.: Theorem Proving with the Real Numbers. Springer, London (2012)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Hasan, O., Ahmad, M.: Formal analysis of steady state errors in feedback control systems using HOL-Light. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1423\u20131426. EDA Consortium, San Jose (2013)","DOI":"10.7873\/DATE.2013.290"},{"key":"1_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0519-4","volume-title":"Introduction to MAPLE","author":"A Heck","year":"1993","unstructured":"Heck, A., Heck, A.: Introduction to MAPLE. Springer, New York (1993). \n                    https:\/\/doi.org\/10.1007\/978-1-4684-0519-4"},{"issue":"3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1109\/TPEL.2010.2089471","volume":"26","author":"T Hornik","year":"2011","unstructured":"Hornik, T., Zhong, Q.C.: A current-control strategy for voltage-source inverters in microgrids based on H\n                    \n                      \n                    \n                    $$^\\infty $$\n                    \n                      \n                        \n                          \n                          \u221e\n                        \n                      \n                    \n                   and repetitive control. IEEE Trans. Power Electron. 26(3), 943\u2013952 (2011)","journal-title":"IEEE Trans. Power Electron."},{"key":"1_CR12","unstructured":"MathWorks: Control System Toolbox. \n                    https:\/\/ch.mathworks.com\/products\/control.html\n                    \n                  . Accessed 12 Sept 2018"},{"key":"1_CR13","unstructured":"MathWorks: Simulink. \n                    https:\/\/www.mathworks.com\/products\/simulink.html\n                    \n                  . Accessed 12 Sept 2018"},{"key":"1_CR14","doi-asserted-by":"publisher","DOI":"10.1002\/9781118156117","volume-title":"Smart Grid: Fundamentals of Design and Analysis","author":"JA Momoh","year":"2012","unstructured":"Momoh, J.A.: Smart Grid: Fundamentals of Design and Analysis, vol. 63. Wiley, Hoboken (2012)"},{"key":"1_CR15","volume-title":"Control Systems Engineering","author":"NS Nise","year":"2007","unstructured":"Nise, N.S.: Control Systems Engineering. Wiley, Hoboken (2007)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-319-68690-5_21","volume-title":"Formal Methods and Software Engineering","author":"A Rashid","year":"2017","unstructured":"Rashid, A., Hasan, O.: Formal analysis of linear control systems using theorem proving. In: Duan, Z., Ong, L. (eds.) ICFEM 2017. LNCS, vol. 10610, pp. 345\u2013361. Springer, Cham (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-68690-5_21"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-319-92970-5_14","volume-title":"Software Engineering and Formal Methods","author":"A Rashid","year":"2018","unstructured":"Rashid, A., Siddique, U., Hasan, O.: Formal verification of platoon control strategies. In: Johnsen, E.B., Schaefer, I. (eds.) SEFM 2018. LNCS, vol. 10886, pp. 223\u2013238. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-92970-5_14"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-319-25141-7_10","volume-title":"Cyber Physical Systems. Design, Modeling, and Evaluation","author":"MU Sanwal","year":"2015","unstructured":"Sanwal, M.U., Hasan, O.: Formally analyzing continuous aspects of cyber-physical systems modeled by homogeneous linear differential equations. In: Berger, C., Mousavi, M.R. (eds.) CyPhy 2015. LNCS, vol. 9361, pp. 132\u2013146. Springer, Cham (2015). \n                    https:\/\/doi.org\/10.1007\/978-3-319-25141-7_10"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-38088-4_25","volume-title":"NASA Formal Methods","author":"U Siddique","year":"2013","unstructured":"Siddique, U., Aravantinos, V., Tahar, S.: Formal stability analysis of optical resonators. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 368\u2013382. Springer, Heidelberg (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-38088-4_25"},{"key":"1_CR20","volume-title":"Multivariable Feedback Control: Analysis and Design","author":"S Skogestad","year":"2007","unstructured":"Skogestad, S., Postlethwaite, I.: Multivariable Feedback Control: Analysis and Design, vol. 2. Wiley, New York (2007)"},{"key":"1_CR21","unstructured":"Sourceforge: Maxima. \n                    http:\/\/maxima.sourceforge.net\/\n                    \n                  . Accessed 12 Sept 2018"},{"key":"1_CR22","volume-title":"Robot Modeling and Control","author":"MW Spong","year":"2006","unstructured":"Spong, M.W., Hutchinson, S., Vidyasagar, M., et al.: Robot Modeling and Control, vol. 3. Wiley, New York (2006)"},{"key":"1_CR23","unstructured":"Stoorvogel, A.A.: The H\n                    \n                      \n                    \n                    $$^\\infty $$\n                    \n                      \n                        \n                          \n                          \u221e\n                        \n                      \n                    \n                   Control Problem: A State Space Approach. Citeseer (1992)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1007\/978-3-642-45221-5_50","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"SH Taqdees","year":"2013","unstructured":"Taqdees, S.H., Hasan, O.: Formalization of Laplace transform using the multivariable calculus theory of HOL-light. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 744\u2013758. Springer, Heidelberg (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-45221-5_50"},{"issue":"2","key":"1_CR25","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/9.250509","volume":"38","author":"P Varaiya","year":"1993","unstructured":"Varaiya, P.: Smart cars on smart roads: problems of control. IEEE Trans. Autom. Control 38(2), 195\u2013207 (1993)","journal-title":"IEEE Trans. Autom. Control"},{"key":"1_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801303","volume-title":"An Introduction to Programming with Mathematica\u00ae","author":"PR Wellin","year":"2005","unstructured":"Wellin, P.R., Gaylord, R.J., Kamin, S.N.: An Introduction to Programming with Mathematica\u00ae. Cambridge University Press, Cambridge (2005)"},{"key":"1_CR27","doi-asserted-by":"publisher","DOI":"10.1002\/9781118481806","volume-title":"Control of Power Inverters in Renewable Energy and Smart Grid Integration","author":"QC Zhong","year":"2012","unstructured":"Zhong, Q.C., Hornik, T.: Control of Power Inverters in Renewable Energy and Smart Grid Integration, vol. 97. Wiley, Hoboken (2012)"}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-12988-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T23:49:56Z","timestamp":1558396196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-12988-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030129873","9783030129880"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-12988-0_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"2 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FTSCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Techniques for Safety-Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast, QLD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ftscs2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ftscs.org\/","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"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"45% - 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"}},{"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"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}