Forskningspublikationer Mekatronik
Här listas de 25 senaste publikationerna från Enheten för mekatronik.
[1]
L. Cheng och L. Feng,
"Model abstraction for discrete-event systems using a SAT solver,"
IEEE Access, vol. 11, s. 17334-17347, 2023.
[2]
[3]
D. Chen et al.,
"Analyzing Dynamic Operational Conditions of Limb Prosthetic Sockets with a Mechatronics-Twin Framework,"
Applied Sciences, vol. 12, no. 3, s. 986-986, 2022.
[4]
M. Parseh,
"Pre-crash Motion Planning for Autonomous Vehicles in Unavoidable Collision Scenarios,"
Doktorsavhandling Stockholm : KTH Royal Institute of Technology, TRITA-ITM-AVL, 2022:15, 2022.
[5]
J. Chen et al.,
"A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories,"
i Syscon 2022 : The 16Th Annual Ieee International Systems Conference (Syscon), 2022.
[6]
A. Hampus och M. Nyberg,
"Formally Verifying Decompositions of Stochastic Specifications (With Proofs),"
, 2022.
[7]
T. Nyberg et al.,
"Evaluating Sequential Reasoning about Hidden Objects in Traffic,"
i ICCPS '22: Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022.
[8]
[9]
Q. Ji et al.,
"Customized protective visors enabled by closed loop controlled 4D printing,"
Scientific Reports, vol. 12, no. 1, 2022.
[10]
Q. Ji et al.,
"Development of a 3D Printed Multi-Axial Force Sensor,"
i Advances in Transdisciplinary Engineering, : IOS Press, 2022.
[11]
V. T. Nikolaidi et al.,
"EMG Onset and Offset Detection via a Modified Threshold Crossings Algorithm,"
i 2022 30th Mediterranean Conference On Control And Automation (MED), 2022, s. 1111-1116.
[12]
D. Wang, K. N. Tahmasebi och D. Chen,
"Integrated Control of Steering and Braking for Effective Collision Avoidance with Autonomous Emergency Braking in Automated Driving,"
i Proceedings of the 30th Mediterranean Conference on Control and Automation (MED), 2022.
[13]
J. M. Gaspar Sánchez et al.,
"Foresee the Unseen : Sequential Reasoning about Hidden Obstacles for Safe Driving,"
i 2022 IEEE Intelligent Vehicles Symposium (IV), 2022, s. 255-264.
[14]
S. Kaalen et al.,
"A Stochastic Extension of Stateflow,"
i ICPE 22: Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering, 2022, s. 211-222.
[15]
F. Asplund och P. Ulfvengren,
"Engineer-Centred Design Factors and Methodological Approach for Maritime Autonomy Emergency Response Systems,"
Safety, vol. 8, no. 3, s. 54-54, 2022.
[16]
Q. Ji et al.,
"Synthesizing the optimal gait of a quadruped robot with soft actuators using deep reinforcement learning,"
Robotics and Computer-Integrated Manufacturing, vol. 78, s. 102382-102382, 2022.
[17]
K. Nazem Tahmasebi och D. Chen,
"A Fault Injection Tool for Identifying Faulty Operations of Control Functions in Automated Driving Systems,"
i New Advances in Dependability of Networks and Systems : Proceedings of the Seventeenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 27 – July 1, 2022, Wrocław, Poland, 2022.
[18]
K. Tan et al.,
"Decentralized Convex Optimization for Joint Task Offloading and Resource Allocation of Vehicular Edge Computing Systems,"
IEEE Transactions on Vehicular Technology, s. 1-15, 2022.
[19]
X. Zhang et al.,
"Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study,"
IEEE Transactions on Software Engineering, s. 1-1, 2022.
[20]
P. Su och D. Chen,
"Using Fault Injection for the Training of Functions to Detect Soft Errors of DNNs in Automotive Vehicles,"
i New Advances in Dependability of Networks and Systems, 2022, s. 308-318.
[21]
F. Asplund et al.,
"Which skills? A critical perspective on the skills facilitating the transfer of third-cycle students to knowledge-intensive SMEs,"
i Proceedings of Frontiers in Education 2022, 2022.
[22]
K. Tan et al.,
"Shape Estimation of a 3D Printed Soft Sensor Using Multi-Hypothesis Extended Kalman Filter,"
IEEE Robotics and Automation Letters, vol. 7, no. 3, s. 8383-8390, 2022.
[23]
J. M. Gaspar Sánchez et al.,
"Edge computing for cyber-physical systems : A Systematic Mapping Study Emphasizing Trustworthiness,"
ACM Transactions on Cyber-Physical Systems, vol. 6, no. 3, s. 1-28, 2022.
[24]
M. Gyllenhammar et al.,
"Uncertainty Aware Data Driven Precautionary Safety for Automated Driving Systems Considering Perception Failures and Event Exposure,"
i Proceedings of IEEE Symposium on Intelligent Vehicle, 2022.
[25]
J. Ding et al.,
"Integration of modeling and verification for system model based on KARMA language,"
i DSM 2021 - Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2021, 2021, s. 41-50.