{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T21:40:03Z","timestamp":1748986803176,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319390857"},{"type":"electronic","value":"9783319390864"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-39086-4_13","type":"book-chapter","created":{"date-parts":[[2016,6,8]],"date-time":"2016-06-08T09:09:16Z","timestamp":1465376956000},"page":"196-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets"],"prefix":"10.1007","author":[{"given":"Quentin","family":"Gaudel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pauline","family":"Ribot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elodie","family":"Chanthery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew J.","family":"Daigle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,9]]},"reference":[{"issue":"006","key":"13_CR1","first-page":"1","volume":"4","author":"E Balaban","year":"2013","unstructured":"Balaban, E., Narasimhan, S., Daigle, M.J., Roychoudhury, I., Sweet, A., Bond, C., Celaya, J.R., Gorospe, G.: Development of a mobile robot test platform and methods for validation of prognostics-enabled decision making algorithms. Int. J. Prognostics Health Manag. 4(006), 1\u201319 (2013)","journal-title":"Int. J. Prognostics Health Manag."},{"doi-asserted-by":"crossref","unstructured":"Basile, F., Chiacchio, P., Tommasi, G.D.: Fault diagnosis and prognosis in Petri Nets by using a single generalized marking estimation. In: 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Spain (2009)","key":"13_CR2","DOI":"10.3182\/20090630-4-ES-2003.00227"},{"doi-asserted-by":"crossref","unstructured":"Bayoudh, M., Trav\u00e9-Massuyes, L., Olive, X.: Hybrid systems diagnosis by coupling continuous and discrete event techniques. In: IFAC World Congress, Korea, pp. 7265\u20137270 (2008)","key":"13_CR3","DOI":"10.3182\/20080706-5-KR-1001.01229"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1109\/TASE.2013.2289360","volume":"11","author":"MP Cabasino","year":"2014","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Diagnosability of discrete-event systems using labeled Petri Nets. IEEE Trans. Autom. Sci. Eng. 11(1), 144\u2013153 (2014)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"doi-asserted-by":"crossref","unstructured":"Chanthery, E., Ribot, P.: An integrated framework for diagnosis and prognosis of hybrid systems. In: 3rd Workshop on Hybrid Autonomous System, Italy (2013)","key":"13_CR5","DOI":"10.4204\/EPTCS.124.4"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.conengprac.2015.01.007","volume":"38","author":"M Daigle","year":"2015","unstructured":"Daigle, M., Roychoudhury, I., Bregon, A.: Qualitative event-based diagnosis applied to a spacecraft electrical power distribution system. Control Eng. Pract. 38, 75\u201391 (2015)","journal-title":"Control Eng. Pract."},{"doi-asserted-by":"crossref","unstructured":"Daigle, M., Roychoudhury, I., Bregon, A.: Integrated diagnostics and prognostics for the electrical power system of a planetary rover. In: Annual Conference of the PHM Society, USA (2014)","key":"13_CR7","DOI":"10.36001\/phmconf.2014.v6i1.2375"},{"doi-asserted-by":"crossref","unstructured":"Daigle, M., Sankararaman, S., Kulkarni, C.S.: Stochastic prediction of remaining driving time and distance for a planetary rover. In: IEEE Aerospace Conference (2015)","key":"13_CR8","DOI":"10.1109\/AERO.2015.7119144"},{"unstructured":"Gaudel, Q., Chanthery, E., Ribot, P., Le Corronc, E.: Hybrid systems diagnosis using modified particle Petri Nets. In: 25th International Workshop on Principles of Diagnosis, Austria (2014)","key":"13_CR9"},{"doi-asserted-by":"crossref","unstructured":"Gaudel, Q., Chanthery, E., Ribot, P.: Health monitoring of hybrid systems using hybrid particle Petri Nets. In: Annual Conference of the PHM Society, USA (2014)","key":"13_CR10","DOI":"10.36001\/phmconf.2014.v6i1.2354"},{"issue":"022","key":"13_CR11","first-page":"1","volume":"6","author":"Q Gaudel","year":"2015","unstructured":"Gaudel, Q., Chanthery, E., Ribot, P.: Hybrid particle Petri Nets for systems health monitoring under uncertainty. Int. J. Prognostics Health Manag. 6(022), 1\u201320 (2015)","journal-title":"Int. J. Prognostics Health Manag."},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S Genc","year":"2007","unstructured":"Genc, S., Lafortune, S.: Distributed diagnosis of place-bordered Petri Nets. IEEE Trans. Autom. Sci. Eng. 4(2), 206\u2013219 (2007)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The theory of hybrid automata. In: 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278\u2013292 (1996)","key":"13_CR13","DOI":"10.1109\/LICS.1996.561342"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/j.cja.2013.02.014","volume":"26","author":"W Jianxiong","year":"2013","unstructured":"Jianxiong, W., Xudong, X., Xiaoying, B., Chuang, L., Xiangzhen, K., Jianxiang, L.: Performability analysis of avionics system with multilayer HM\/FM using stochastic Petri Nets. Chin. J. Aeronaut. 26(2), 363\u2013377 (2013)","journal-title":"Chin. J. Aeronaut."},{"doi-asserted-by":"crossref","unstructured":"Koutsoukos, X., Kurien, J., Zhao, F.: Monitoring and diagnosis of hybrid systems using particle filtering methods. In: 15th International Symposium on Mathematical Theory of Networks and Systems, USA (2002)","key":"13_CR15","DOI":"10.1007\/3-540-36580-X_23"},{"doi-asserted-by":"crossref","unstructured":"Lachat, D., Krebs, A., Thueer, T., Siegwart, R.: Antarctica rover design and optimization for limited power consumption. In: 4th IFAC Symposium on Mechatronic Systems (2006)","key":"13_CR16","DOI":"10.3182\/20060912-3-DE-2911.00136"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/11494744_19","volume-title":"Applications and Theory of Petri Nets 2005","author":"C Lesire","year":"2005","unstructured":"Lesire, C., Tessier, C.: Particle Petri Nets for aircraft procedure monitoring under uncertainty. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 329\u2013348. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Narasimhan, S., Balaban, E., Daigle, M., Roychoudhury, I., Sweet, A., Celaya, J., Goebel, K.: Autonomous decision making for planetary rovers using diagnostic and prognostic information. In: 8th IFAC Symposium on Fault Dectection, Supervision and Safety of Technical Processes, Mexico, pp. 289\u2013294 (2012)","key":"13_CR18","DOI":"10.3182\/20120829-3-MX-2028.00243"},{"unstructured":"Narasimhan, S., Browston, L.: HyDE - a general framework for stochastic and hybrid modelbased diagnosis. In: 18th International Workshop on Principles of Diagnosis, pp. 162\u2013169 (2007)","key":"13_CR19"},{"issue":"4","key":"13_CR20","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10626-009-0074-7","volume":"19","author":"Y Ru","year":"2009","unstructured":"Ru, Y., Hadjicostis, C.N.: Fault diagnosis in discrete event systems modeled by partially observed Petri Nets. Discrete Event Dyn. Syst. 19(4), 551\u2013575 (2009)","journal-title":"Discrete Event Dyn. Syst."},{"issue":"9","key":"13_CR21","doi-asserted-by":"publisher","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. Autom. Control 40(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. Autom. Control"},{"doi-asserted-by":"crossref","unstructured":"Soldani, S., Combacau, M., Subias, A., Thomas, J.: On-board diagnosis system for intermittent fault: application in automotive industry. In: 7th IFAC International Conference on Fieldbuses and Networks in Industrial and Embedded Systems, vol. 7-1, pp. 151\u2013158 (2007)","key":"13_CR22","DOI":"10.3182\/20071107-3-FR-3907.00021"},{"doi-asserted-by":"crossref","unstructured":"Sweet, A., Gorospe, G., Daigle, M., Celaya, J.R., Balaban, E., Roychoudhury, I., Narasimhan, S.: Demonstration of prognostics-enabled decision making algorithms on a hardware mobile robot test platform. In: Annual Conference of the PHM Society, USA (2014)","key":"13_CR23","DOI":"10.36001\/phmconf.2014.v6i1.2376"},{"doi-asserted-by":"crossref","unstructured":"Zouaghi, L., Alexopoulos, A., Wagner, A., Badreddin, E.: Modified particle Petri Nets for hybrid dynamical systems monitoring under environmental uncertainties. In: IEEE\/SICE International Symposium on System Integration, pp. 497\u2013502 (2011)","key":"13_CR24","DOI":"10.1109\/SII.2011.6147499"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39086-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T21:00:53Z","timestamp":1748984453000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-39086-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319390857","9783319390864"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39086-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Torun","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}