[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-84189-en":3,"doc-seo-84189-105":30,"detail-sidebar-cat-0-en-105":92},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":21,"is_downloadable":21,"audit_status":21,"page_count":22,"language":23,"language_code":24,"site_id":25,"html_lang":24,"table_of_contents":26,"faqs":27,"seo_title":13,"seo_description":14,"update_tm":28,"read_time":29},84189,1374391974468,"Eden","https://ap-avatar.wpscdn.com/davatar_29158cc5080c5b710cf443261637dec0",8,"Research & Report","Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems Under Input Constraints","This paper develops a Spatiotemporal Tube (STT) based control framework for unknown nonlinear Euler–Lagrange systems with input constraints, targeting satisfaction of Signal Temporal Logic (STL) specifications. Each agent’s STT is modeled as a time-varying ball whose center and radius are jointly learned with a physics-informed neural network. STL robustness metrics drive training as a loss, and for multi-agent tasks an additional global robustness metric prevents inter-tube collisions. A closed-form constrained control law keeps trajectories within the learned tubes, and validation is provided through multiple case studies.","LEARNING SPATIOTEMPORAL TUBES FOR FULL CLASS OF SIGNAL TEMPORAL LOGIC TASKS FOR CONTROL OF UNKNOWN SYSTEMS UNDER INPUT CONSTRAINTS ∗  \nAhan Basu  \nCentre for Cyber-Physical Systems Indian Institute of Science, Bengaluru, India [ahanbasu@iisc.ac.in](ahanbasu@iisc.ac.in)  \nRatnangshu Das  \nCentre for Cyber-Physical Systems Indian Institute of Science, Bengaluru, India [ratnangshud@iisc.ac.in](ratnangshud@iisc.ac.in)  \narXiv :2607 .07 136v 1 [ cs .RO] 8 Jul 2026  \nSoumyodipta Nath  \nCentre for Cyber-Physical Systems Indian Institute of Science, Bengaluru, India[soumyodiptan@iisc.ac.in](soumyodiptan@iisc.ac.in)  \nSiyuan Liu  \nElectrical Engineering Department, Eindhoven Institute of Technology, Netherlands [s.liu5@tue.nl](s.liu5@tue.nl)  \nPushpak Jagtap  \nCentre for Cyber-Physical Systems  \nIndian Institute of Science, Bengaluru, India  \n[pushpak@iisc.ac.in](pushpak@iisc.ac.in)  \nJuly 9, 2026  \nABSTRACT  \nThis paper presents a Spatiotemporal Tube (STT)-based control framework for general unknown nonlinear EulerLagrange (EL) systems subject to input constraints, with the objective of satisfying Signal Temporal Logic (STL) specifications, where confinement of the system trajectory within the STT guarantees the satisfaction of the corresponding STL task. For both single and multi-agent scenarios, the STT corresponding to each agent is modeled as a time-varying ball, whose center and radius are jointly parameterized using a physics-informed neural network (PINN) . The robustness metric associated with the STL specification corresponding to the agents is incorporated into the training process as a loss function, enabling the learned tube to encode task-level temporal requirements. For a multi-agent scenario, we introduce an additional robustness metric corresponding to the global task, which, when satisfied, ensures the tubes do not collide with each other. To ensure that the system trajectory remains within the learned STT and thereby satisfies the local and global STL specifications, we propose a control strategy that explicitly accounts for input constraints. In particular, a closed-form control law is developed to keep the trajectory inside the tube while regulating the motion of the tube by enforcing bounds on its evolution depending on the input constraints of the system. The proposed approach has been validated over several case studies.  \n1 Introduction  \nModern control applications, such as safe and reliable operations of robots and unmanned vehicles, demand satisfying complex time-dependent task specifications instead of the traditional stabilization and trajectory tracking problem. Signal Temporal Logic (STL) [18] provides a formal language framework to describe these tasks, such as requiring a robot to transport materials between specified locations within a prescribed time horizon, and avoid time-varying  \n∗The work of Ratnangshu Das is supported by the Prime Ministers Research Fellowship from the Ministry of Education, Government of India.  \nA PREPRINT-JULY 9, 2026  \nhazardous regions, like areas undergoing scheduled maintenance. Moreover, STL provides a quantitative measure of task satisfaction through robustness metrics [7] . Essentially, STL has become an increasingly popular tool in areas such as deep learning [15], reinforcement learning [27], learning from demonstration [22], planning and control [8, 30] . Despite its wide applicability, control under STL specifications is challenging due to algorithmic and computational issues.  \nMixed-Integer Programming (MIP) [25] and gradient-based methods [9] have been used to enforce STL constraints, but because they rely on optimization, they often do not scale well as the STL specifications become more complex or the system dynamics become more complicated. In recent years, Model Predictive Control has been deployed as a promising tool to satisfy STL specifications within a receding-horizon framework [24], but it also often suffers from computational complexity issues for complex tasks","cbCaihCtHzKjSDEt","https://ap.wps.com/l/cbCaihCtHzKjSDEt","pdf",5563764,6,1,17,"English","en",105,"# Abstract\n# Introduction","[{\"question\":\"What is the core idea of the proposed STT-based control framework?\",\"answer\":\"The method learns a spatiotemporal tube such that keeping the system trajectory inside the tube guarantees satisfaction of the corresponding STL specification.\"},{\"question\":\"How are the spatiotemporal tubes represented and learned in single- and multi-agent settings?\",\"answer\":\"Each agent’s tube is a time-varying ball whose center and radius are jointly parameterized and learned using a physics-informed neural network. For multi-agent tasks, a global robustness metric is added to ensure the tubes do not collide.\"},{\"question\":\"How does the approach handle input constraints while enforcing STL tasks?\",\"answer\":\"A control strategy explicitly accounts for input constraints by using a closed-form control law that keeps trajectories within the tube and regulates tube evolution with bounds tied to the system’s input constraints.\"}]",1784193805,43,{"code":4,"msg":31,"data":32},"ok",{"site_id":25,"language":24,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":87,"head_meta":89,"extra_data":91,"updated_unix":28},"learning-spatiotemporal-tubes-for-full-class-of-signal-temporal-logic-tasks-for-control-of-unknown-systems-under-input-constraints","",{"@graph":36,"@context":86},[37,54,69],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,51],{"item":41,"name":42,"@type":43,"position":21},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":50},"https://docshare.wps.com/document/research-report/",3,{"item":52,"name":13,"@type":43,"position":53},"https://docshare.wps.com/document/learning-spatiotemporal-tubes-for-full-class-of-signal-temporal-logic-tasks-for-control-of-unknown-systems-under-input-constraints/84189/",4,{"url":52,"name":13,"@type":55,"author":56,"headline":13,"publisher":58,"fileFormat":61,"inLanguage":24,"description":14,"dateModified":62,"datePublished":63,"encodingFormat":61,"isAccessibleForFree":64,"interactionStatistic":65},"DigitalDocument",{"name":9,"@type":57},"Person",{"url":41,"name":59,"@type":60},"DocShare","Organization","application/pdf","2026-07-27","2026-07-16",true,{"@type":66,"interactionType":67,"userInteractionCount":20},"InteractionCounter",{"@type":68},"ViewAction",{"@type":70,"mainEntity":71},"FAQPage",[72,78,82],{"name":73,"@type":74,"acceptedAnswer":75},"What is the core idea of the proposed STT-based control framework?","Question",{"text":76,"@type":77},"The method learns a spatiotemporal tube such that keeping the system trajectory inside the tube guarantees satisfaction of the corresponding STL specification.","Answer",{"name":79,"@type":74,"acceptedAnswer":80},"How are the spatiotemporal tubes represented and learned in single- and multi-agent settings?",{"text":81,"@type":77},"Each agent’s tube is a time-varying ball whose center and radius are jointly parameterized and learned using a physics-informed neural network. For multi-agent tasks, a global robustness metric is added to ensure the tubes do not collide.",{"name":83,"@type":74,"acceptedAnswer":84},"How does the approach handle input constraints while enforcing STL tasks?",{"text":85,"@type":77},"A control strategy explicitly accounts for input constraints by using a closed-form control law that keeps trajectories within the tube and regulates tube evolution with bounds tied to the system’s input constraints.","https://schema.org",{"og:url":52,"og:type":88,"og:title":13,"og:site_name":59,"og:description":14},"article",{"robots":90,"canonical":52},"index,follow",{"doc_id":7,"site_id":25},{"code":4,"msg":5,"data":93},[94,98,102,106,111,115,120,123,128,131,135],{"id":21,"doc_module":4,"doc_module_name":46,"category_name":95,"show_sort_weight":96,"slug":97},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":99,"show_sort_weight":100,"slug":101},"Literature",80,"literature",{"id":53,"doc_module":4,"doc_module_name":46,"category_name":103,"show_sort_weight":104,"slug":105},"Exam",70,"exam",{"id":107,"doc_module":4,"doc_module_name":46,"category_name":108,"show_sort_weight":109,"slug":110},5,"Comic",60,"comic",{"id":20,"doc_module":4,"doc_module_name":46,"category_name":112,"show_sort_weight":113,"slug":114},"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":46,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":46,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":46,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":132,"doc_module":4,"doc_module_name":46,"category_name":133,"show_sort_weight":132,"slug":134},10,"Lifestyle","lifestyle",{"id":136,"doc_module":4,"doc_module_name":46,"category_name":137,"show_sort_weight":107,"slug":138},19,"General","general"]