{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:14:56Z","timestamp":1742919296907,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030575052"},{"type":"electronic","value":"9783030575069"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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-57506-9_1","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T12:30:39Z","timestamp":1599741039000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors"],"prefix":"10.1007","author":[{"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[]},{"given":"Pierpaolo","family":"Dini","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Domenici","sequence":"additional","affiliation":[]},{"given":"Sergio","family":"Saponara","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,10]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR2","unstructured":"Behrmann, G., et al.: UPPAAL 4.0. In: Third International Conference on Quantitative Evaluation of Systems (QEST 2006), pp. 125\u2013126, September 2006"},{"issue":"6","key":"1_CR3","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/j.ipl.2016.02.001","volume":"116","author":"C Bernardeschi","year":"2016","unstructured":"Bernardeschi, C., Domenici, A.: Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inf. Process. Lett. 116(6), 409\u2013415 (2016)","journal-title":"Inf. Process. Lett."},{"issue":"6","key":"1_CR4","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1109\/TSE.2017.2694423","volume":"44","author":"C Bernardeschi","year":"2018","unstructured":"Bernardeschi, C., Domenici, A., Masci, P.: A PVS-simulink integrated environment for model-based analysis of cyber-physical systems. IEEE Trans. Software Eng. 44(6), 512\u2013533 (2018)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR5","unstructured":"Bernardeschi, C., Domenici, A., Saponara, S.: Formal verification in the loop to enhance verification of safety-critical cyber-physical systems. In: Proceedings of Interactive Workshop on the Industrial Application of Verification and Testing, InterAVT 2019 (ETAPS 2019), Electronic Communications of the EASST (2019)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Blochwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of the 9th International MODELICA Conference, Munich, Germany, 3\u20135 September 2012, pp. 173\u2013184. No. 76 in Link\u00f6ping Electronic Conference Proceedings, Link\u00f6ping University Electronic Press (2012)","DOI":"10.3384\/ecp12076173"},{"issue":"11","key":"1_CR7","doi-asserted-by":"publisher","first-page":"2224","DOI":"10.3390\/en12112224","volume":"12","author":"P Dini","year":"2019","unstructured":"Dini, P., Saponara, S.: Cogging torque reduction in brushless motors by a nonlinear control technique. Energies 12(11), 2224 (2019)","journal-title":"Energies"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/978-3-319-74781-1_21","volume-title":"Software Engineering and Formal Methods","author":"A Domenici","year":"2018","unstructured":"Domenici, A., Fagiolini, A., Palmieri, M.: Integrated simulation and formal verification of a simple autonomous vehicle. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 300\u2013314. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_21"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BFb0105402","volume-title":"Theorem Proving in Higher Order Logics","author":"B Dutertre","year":"1996","unstructured":"Dutertre, B.: Elements of mathematical analysis in PVS. In: Goos, G., Hartmanis, J., van Leeuwen, J., von Wright, J., Grundy, J., Harrison, J. (eds.) TPHOLs 1996. LNCS, vol. 1125, pp. 141\u2013156. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0105402"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J.S., Larsen, P.G., Verhoef, M.: Vienna development method. In: Wah, B. (ed.) Wiley Encyclopedia of Computer Science and Engineering. Wiley (2007)","DOI":"10.1002\/9780470050118.ecse447"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-319-21401-6_36","volume-title":"Automated Deduction - CADE-25","author":"N Fulton","year":"2015","unstructured":"Fulton, N., Mitsch, S., Quesel, J.-D., V\u00f6lp, M., Platzer, A.: KeYmaera\u00a0X: an axiomatic tactical theorem prover for hybrid systems. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 527\u2013538. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_36"},{"key":"1_CR12","unstructured":"Gamble, C.: DSE in the INTO-CPS platform. Technical report, D5.3e, INTO-CPS Deliverable (2017)"},{"key":"1_CR13","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: State of the art. CoRR abs\/1702.00686 (2017)"},{"key":"1_CR14","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, LICS 1996, pp. 278\u2013292. IEEE Computer Society, Washington (1996)"},{"key":"1_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-615-5","volume-title":"Nonlinear Control System. Communications and Control Engineering","author":"A Isidori","year":"1995","unstructured":"Isidori, A.: Nonlinear Control System. Communications and Control Engineering. Springer, London (1995). https:\/\/doi.org\/10.1007\/978-1-84628-615-5"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, P.G., et al.: Integrated tool chain for model-based design of Cyber-Physical Systems: the INTO-CPS project. In: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1\u20136, April 2016","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-54118-6_5","volume-title":"Collaborative Design for Embedded Systems","author":"PG Larsen","year":"2014","unstructured":"Larsen, P.G., Gamble, C., Pierce, K., Ribeiro, A., Lausdahl, K.: Support for co-modelling and co-simulation: the Crescendo tool. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems. LNCS, pp. 97\u2013114. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54118-6_5"},{"key":"1_CR18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/oso\/9780198537465.003.0004","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D Leivant","year":"1994","unstructured":"Leivant, D.: Higher order logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 229\u2013321. Oxford University Press Inc., New York (1994)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-540-88908-3_9","volume-title":"Multiobjective Optimization","author":"AV Lotov","year":"2008","unstructured":"Lotov, A.V., Miettinen, K.: Visualizing the Pareto frontier. In: Branke, J., Deb, K., Miettinen, K., S\u0142owi\u0144ski, R. (eds.) Multiobjective Optimization. LNCS, vol. 5252, pp. 213\u2013243. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88908-3_9"},{"key":"1_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"The Temporal Logic of Reactive Systems: Safety","author":"Z Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive Systems: Safety. Springer, New York (1995). https:\/\/doi.org\/10.1007\/978-1-4612-4222-2"},{"key":"1_CR21","unstructured":"Mu\u00f1oz, C.: Rapid prototyping in PVS. Technical report, NIA 2003\u201303, NASA\/CR-2003-212418, National Institute of Aerospace, Hampton, VA, USA (2003)"},{"issue":"4","key":"1_CR22","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.3390\/wevj5041121","volume":"5","author":"J Nibert","year":"2012","unstructured":"Nibert, J., Herniter, M.E., Chambers, Z.: Model-based system design for MIL, SIL, and HIL. World Electr. Veh. J. 5(4), 1121\u20131130 (2012)","journal-title":"World Electr. Veh. J."},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction\u2014CADE-11","author":"S Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748\u2013752. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55602-8_217"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MIE.2017.2671198","volume":"11","author":"P Palensky","year":"2017","unstructured":"Palensky, P., van der Meer, A., Lopez, C., Joseph, A., Pan, K.: Applied cosimulation of intelligent power systems: implementing hybrid simulators for complex power systems. IEEE Ind. Electron. Mag. 11(2), 6\u201321 (2017)","journal-title":"IEEE Ind. Electron. Mag."},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MIE.2016.2639825","volume":"11","author":"P Palensky","year":"2017","unstructured":"Palensky, P., Meer, A.A.V.D., Lopez, C.D., Joseph, A., Pan, K.: Cosimulation of intelligent power systems: fundamentals, software architecture, numerics, and coupling. IEEE Ind. Electron. Mag. 11(1), 34\u201350 (2017)","journal-title":"IEEE Ind. Electron. Mag."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Palmieri, M., Bernardeschi, C., Masci, P.: A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems. In: Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, June 25\u201329 France 2018, Revised Selected Papers, pp. 21\u201333 (2018)","DOI":"10.1007\/978-3-030-04771-9_2"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp. 46\u201357, October 1977","DOI":"10.1109\/SFCS.1977.32"},{"key":"1_CR28","series-title":"Power Systems","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20043-9","volume-title":"Applied Control of Electrical Drives: Real Time Embedded and Sensorless Control Using VisSimTM and PLECSTM","author":"D Pulle","year":"2015","unstructured":"Pulle, D., Darnell, P., Veltman, A.: Applied Control of Electrical Drives: Real Time Embedded and Sensorless Control Using VisSimTM and PLECSTM. Power Systems. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-20043-9"},{"issue":"3","key":"1_CR29","doi-asserted-by":"publisher","first-page":"59","DOI":"10.4316\/aece.2012.03009","volume":"12","author":"T Tudorache","year":"2012","unstructured":"Tudorache, T., Trifu, I., Ghita, C., Bostan, V.: Improved mathematical model of PMSM taking into account cogging torque oscillations. Adv. Electr. Comput. Eng. 12(3), 59\u201364 (2012)","journal-title":"Adv. Electr. Comput. Eng."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57506-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T15:09:13Z","timestamp":1723561753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57506-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030575052","9783030575069"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57506-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","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":"45","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":"13","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":"7","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":"29% - 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":"1","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)"}}]}}