{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:20:10Z","timestamp":1766132410871,"version":"3.48.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11245994","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"14892-14898","source":"Crossref","is-referenced-by-count":0,"title":["Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic"],"prefix":"10.1109","author":[{"given":"Antoine","family":"Besset","sequence":"first","affiliation":[{"name":"Institut Polytechnique de Paris,U2IS, ENSTA,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien Alexandre","family":"dit Sandretto","sequence":"additional","affiliation":[{"name":"Institut Polytechnique de Paris,U2IS, ENSTA,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joris","family":"Tillet","sequence":"additional","affiliation":[{"name":"Institut Polytechnique de Paris,U2IS, ENSTA,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1238","article-title":"Model-based monitoring of dynamic systems","volume-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","author":"Dvorak"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"issue":"4","key":"ref3","first-page":"890","article-title":"Model-free execution monitoring in behavior-based robotics","volume-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)","volume":"37","author":"Pettersson","year":"2007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2019.1610903"},{"key":"ref5","first-page":"193","article-title":"Availability analysis of safety critical systems using advanced fault tree and stochastic petri net formalisms","volume":"44","author":"Talebberrouane"},{"issue":"3","key":"ref6","first-page":"752","article-title":"Model-based monte carlo state estimation for condition-based component replacement","volume":"94","author":"Cadini"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"issue":"1","key":"ref8","first-page":"104","volume-title":"Interval analysis and reliability in robotics","volume":"3","author":"Merlet"},{"article-title":"Trajectory monitoring for a drone using interval analysis","volume-title":"Workshop on Planning, Perception and Navigation for Intelligent Vehicles (PPNIV\u201922)","author":"Largent","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref11","article-title":"Model predictive monitoring of dynamical systems for signal temporal logic specifications","volume-title":"Automatica","author":"Yu","year":"2023"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_26"},{"issue":"5","key":"ref13","first-page":"1932","article-title":"Monitor-based runtime assurance for temporal logic specifications","volume-title":"IEEE Transactions on Control Systems Technology","volume":"29","author":"Abate","year":"2019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"volume":"22","article-title":"Validated explicit and implicit runge-kutta methods","author":"Alexandre Dit Sandretto","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0305-8"},{"volume-title":"Interval Analysis","year":"1966","author":"Moore","key":"ref17"},{"key":"ref18","first-page":"105578","article-title":"Capd::dynsys: A flexible c++ toolbox for rigorous numerical analysis of dynamical systems","volume-title":"Communications in Nonlinear Science and Numerical Simulation","volume":"101","author":"Kapela","year":"2021"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21920-8_70"},{"volume-title":"Intelligent Control Systems: An Introduction with Examples.","author":"Szederk\u00e9nyi","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10802263"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/SERIES1345"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2025,10,19]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11245994.pdf?arnumber=11245994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T08:17:04Z","timestamp":1766132224000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11245994\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11245994","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}