发布求助
文献互助 智能选刊 最新文献

IFAC-PapersOnLine最新文献

筛选
英文 中文
Torque-Minimizing Control Allocation for Overactuated Quadrupedal Locomotion 过驱动四足运动的扭矩最小化控制分配
IFAC-PapersOnLine Pub Date : 2024-04-05 DOI: 10.1016/j.ifacol.2023.10.419
Mads Erlend Bøe Lysø, E. Grøtli, K. Y. Pettersen
{"title":"Torque-Minimizing Control Allocation for Overactuated Quadrupedal Locomotion","authors":"Mads Erlend Bøe Lysø, E. Grøtli, K. Y. Pettersen","doi":"10.1016/j.ifacol.2023.10.419","DOIUrl":"https://doi.org/10.1016/j.ifacol.2023.10.419","url":null,"abstract":"","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140738902","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mesh Refinement with Early Termination for Dynamic Feasibility Problems 针对动态可行性问题的网格细化与早期终止
IFAC-PapersOnLine Pub Date : 2024-03-12 DOI: 10.1016/j.ifacol.2023.10.676
Eduardo M. G. Vila, Eric C. Kerrigan, Paul Bruce
{"title":"Mesh Refinement with Early Termination for Dynamic Feasibility Problems","authors":"Eduardo M. G. Vila, Eric C. Kerrigan, Paul Bruce","doi":"10.1016/j.ifacol.2023.10.676","DOIUrl":"https://doi.org/10.1016/j.ifacol.2023.10.676","url":null,"abstract":"","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140250913","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Improving Kernel-Based Nonasymptotic Simultaneous Confidence Bands 改进基于核的非近似同时置信带
IFAC-PapersOnLine Pub Date : 2024-01-28 DOI: 10.1016/j.ifacol.2023.10.1047
B. C. Csáji, Balint Horvath
{"title":"Improving Kernel-Based Nonasymptotic Simultaneous Confidence Bands","authors":"B. C. Csáji, Balint Horvath","doi":"10.1016/j.ifacol.2023.10.1047","DOIUrl":"https://doi.org/10.1016/j.ifacol.2023.10.1047","url":null,"abstract":"","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139592202","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sample Complexity of the Sign-Perturbed Sums Identification Method: Scalar Case* 符号扰动和值识别方法的样本复杂性：标量情况*
IFAC-PapersOnLine Pub Date : 2024-01-28 DOI: 10.1016/j.ifacol.2023.10.1048
Szabolcs Szentpéteri, B. C. Csáji
{"title":"Sample Complexity of the Sign-Perturbed Sums Identification Method: Scalar Case*","authors":"Szabolcs Szentpéteri, B. C. Csáji","doi":"10.1016/j.ifacol.2023.10.1048","DOIUrl":"https://doi.org/10.1016/j.ifacol.2023.10.1048","url":null,"abstract":"","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139592243","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Online Representation-based State Estimation of λ-free Labeled Petri Nets 基于表征的无 λ 标记 Petri 网在线状态估计
IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.07.013
{"title":"Online Representation-based State Estimation of λ-free Labeled Petri Nets","authors":"","doi":"10.1016/j.ifacol.2024.07.013","DOIUrl":"10.1016/j.ifacol.2024.07.013","url":null,"abstract":"<div><p>A new approach for the online state estimation of discrete event systems (DESs) modeled by λ-free labeled Petri nets (λf-LPNs) is presented, wherein all events are observable. Instead of exhaustively enumerating all marking vectors consistent with any given event occurrence, we do a representation-based state estimation, where we compute a compact representation structure that characterizes these markings. Our representation structure is based on a representative Petri net (RPN), whose single initial marking represents all markings of the system λf-LPN consistent with the sequence. These representations can be directly used to solve other DES-related problems, such as fault diagnosis. Our approach can compute representations of any λf-LPNs. In addition, for a class of unbounded λf-LPNs, our approach can compute representations that do not grow indefinitely as more events occur.</p></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2405896324000910/pdf?md5=290534b56359f6de8d1b1137c2aafc5b&pid=1-s2.0-S2405896324000910-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141636748","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems 离散事件系统监督控制推理的新验证算法
IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.07.018
{"title":"A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems","authors":"","doi":"10.1016/j.ifacol.2024.07.018","DOIUrl":"10.1016/j.ifacol.2024.07.018","url":null,"abstract":"<div><p>We present a new algorithm to verify inference observability in supervisory control of decentralized discrete-event systems. The algorithm's success relies on the following idea. An inferencing solution exists only when a language contains no inferencing cycles. When there are no cycles, the algorithm computes the smallest upper bound for an inferencing solution.</p></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S240589632400096X/pdf?md5=e02358e1fcca87fa7d307a0ff4e7625f&pid=1-s2.0-S240589632400096X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141636704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Expressivity of Timed Discrete Event Systems and Timed Automata 定时离散事件系统和定时自动机的可表达性
IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.07.037
{"title":"Expressivity of Timed Discrete Event Systems and Timed Automata","authors":"","doi":"10.1016/j.ifacol.2024.07.037","DOIUrl":"10.1016/j.ifacol.2024.07.037","url":null,"abstract":"<div><p>In control engineering and computer science, different formalisms are used for the specification and subsequent analysis of timed extensions of discrete event systems. In this paper, the expressivity of timed discrete event systems and that of timed automata are compared for the purpose of modeling of discrete event systems involving time aspects. A behavior-preserving transformation from timed discrete event systems to timed automata is provided, and it is shown that a similar transformation from timed automata to timed discrete event systems is not possible under the assumption that the event sets of the system modeled remains the same.</p></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2405896324001150/pdf?md5=8029455709f2655fd11c17832b09c496&pid=1-s2.0-S2405896324001150-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141636583","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Trends, Challenges, Opportunities, and Innovations in STEM Education STEM 教育的趋势、挑战、机遇和创新
IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.07.134
{"title":"Trends, Challenges, Opportunities, and Innovations in STEM Education","authors":"","doi":"10.1016/j.ifacol.2024.07.134","DOIUrl":"10.1016/j.ifacol.2024.07.134","url":null,"abstract":"<div><p>STEM education aims to prepare students for their future jobs, providing authentic tasks and problems to solve. Usually, approaches to teaching STEM subjects are based on a constructivist learning theory that accentuates active, practical, and interactive learning approaches. Nowadays, the implementation of STEM education faces several logistical and pedagogical challenges, which can impact the effectiveness of STEM education programs. The conditions for applying information technologies in STEM education in Bulgarian schools and universities are presented. The paper proposes a conceptual model of the innovative STEM educational system, which includes personalization and optimization of the applied teaching methods.</p></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2405896324002179/pdf?md5=0437ccfb0197b2ae0f366f88c19be79e&pid=1-s2.0-S2405896324002179-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141961864","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development of a Mobile Robot for Distribution of Medicine in Hospitals 开发用于在医院分发药品的移动机器人
IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.07.154
{"title":"Development of a Mobile Robot for Distribution of Medicine in Hospitals","authors":"","doi":"10.1016/j.ifacol.2024.07.154","DOIUrl":"10.1016/j.ifacol.2024.07.154","url":null,"abstract":"<div><p>Mobile robots are revolutionizing healthcare with their potential to streamline logistics, patient care, and facility maintenance in hospitals. This paper introduces a mobile robot designed for medicine distribution in patient rooms, detailing its mechanical design and working principle. A scenario demonstrating robot path planning for medicine distribution is presented. Future research directions are outlined.</p></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2405896324002374/pdf?md5=329a2af5e47bc50b31d43bf80f5552da&pid=1-s2.0-S2405896324002374-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141961859","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
From Detection to Action: Implementing Deep Learning Inference in PLC Systems via Docker Services 从检测到行动：通过 Docker 服务在 PLC 系统中实施深度学习推理
IFAC-PapersOnLine Pub Date : 2024-01-01 DOI: 10.1016/j.ifacol.2024.07.365
{"title":"From Detection to Action: Implementing Deep Learning Inference in PLC Systems via Docker Services","authors":"","doi":"10.1016/j.ifacol.2024.07.365","DOIUrl":"10.1016/j.ifacol.2024.07.365","url":null,"abstract":"<div><p>This paper focuses on the implementation of recognition and detection algorithms for programmable logic controllers (PLCs) based on artificial intelligence (AI). AI methods based on deep neural networks (DNN) are characterized by a large number of hidden layers and neurons in hidden layers, which increases the computational complexity of computing the outputs of artificial neural networks (ANNs). Popular convolutional neural networks (CNN) are among such ResNet, AlexNet, GoogLeNet and others. A remote cloud solution is proposed in this paper to compute CNN outputs. The CNN implementation was tested on object recognition and detection applications. Training and testing of the CNN and YOLO detector was carried out in the Python environment.</p></div>","PeriodicalId":37894,"journal":{"name":"IFAC-PapersOnLine","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2405896324004543/pdf?md5=5d5245c402a57dbcc289cdd76f908149&pid=1-s2.0-S2405896324004543-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141985723","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信