E-LIB Suche - Ergebnisse für: Åkesson, Knut

1

On Input Generators for Cyber–Physical Systems Falsificatio:

Ramezani, Zahra ; Donzé, Alexandre ; Fabian, Martin.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 4 - p. 1274-1287 , 2024

Link: https://doi.org/10.1109/..

2

Collision-Free Trajectory Planning of Mobile Robots by Inte..:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),

Zhang, Ze ; Cai, Yao ; Ceder, Kristian... - p. 1-7 , 2023

Link: https://doi.org/10.1109/..

3

Fault localization for intelligent automation systems:

, In: 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA),

Eros, Endre ; Bengtsson, Kristofer ; Akesson, Knut - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

4

Structural Coverability for Intelligent Automation Systems:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),

Eros, Endre ; Bengtsson, Kristofer ; Akesson, Knut - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

5

Prescient Collision-Free Navigation of Mobile Robots With I..:

Zhang, Ze ; Hajieghrary, Hadi ; Dean, Emmanuel.
IEEE Robotics and Automation Letters. 8 (2023) 9 - p. 5488-5495 , 2023

Link: https://doi.org/10.1109/..

6

Conflict-free electric vehicle routing problem: an improved..:

Roselli, Sabino Francesco ; Fabian, Martin ; Åkesson, Knut
Discrete Event Dynamic Systems. 34 (2023) 1 - p. 21-51 , 2023

Link: https://doi.org/10.1007/..

7

Multi-Requirement Testing Using Focused Falsification:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,

Lidén Eddeland, Johan ; Donzé, Alexandre ; Åkesson, Knut - p. 1-11 , 2022

Link: https://dl.acm.org/doi/1..

8

Multimodal Motion Prediction Based on Adaptive and Swarm Sa..:

, In: 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE),

Zhang, Ze ; Dean, Emmanuel ; Karayiannidis, Yiannis. - p. 1110-1115 , 2022

Link: https://doi.org/10.1109/..

9

The impact of visualizing operational deviations on overall..:

Sanchez, Ebly ; Joelsson, Axel ; Baumgartner, Matthias Andersson.
Procedia CIRP. 107 (2022) - p. 46-52 , 2022

Link: https://doi.org/10.1016/..

10

Testing Cyber–Physical Systems Using a Line-Search Falsific..:

Ramezani, Zahra ; Claessen, Koen ; Smallbone, Nicholas..
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 8 - p. 2393-2406 , 2022

Link: https://doi.org/10.1109/..

11

Centralized versus Distributed Nonlinear Model Predictive C..:

, In: 2022 IEEE 18th International Conference on Automation Science and Engineering (CASE),

Bertilsson, Filip ; Gordon, Martin ; Hansson, Johan... - p. 701-706 , 2022

Link: https://doi.org/10.1109/..

12

Comparison of Exact and Approximate methods for the Vehicle..:

, In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE),

Jernheden, Elinor ; Lindstrom, Carl ; Persson, Rickard... - p. 378-383 , 2020

Link: https://doi.org/10.1109/..

13

Compact Representation of Time-Index Job Shop Problems Usin..:

, In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE),

Roselli, Sabino Francesco ; Bengtsson, Kristofer ; Akesson, Knut - p. 1590-1595 , 2020

Link: https://doi.org/10.1109/..

14

A risk control framework for safe manufacturing workstation..:

Sanchez, Ebly ; Åkesson, Knut ; Bin Ab Aziz, A.W.
MATEC Web of Conferences. 327 (2020) - p. 03007 , 2020

Link: https://doi.org/10.1051/..

15

On the Use of Equivalence Classes for Optimal and Sub-Optim..:

, In: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE),

Roselli, Sabino ; Hagebring, Fredrik ; Riazi, Sarmad.. - p. 1004-1009 , 2019

Link: https://doi.org/10.1109/..