logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
K

Knut Åkesson

Chalmers University of Technology

22H指数
159论文数
2.0K被引数
收录论文 20
发表时间
logo
MVUDA: Unsupervised Domain Adaptation for Multi-view Pedestrian DetectionMVUDA：多视角行人检测的无监督域自适应
errMACHINE VISION AND APPLICATIONS
IF2.3
err2025-11-21
err0
errOAAI
errBrorsson, Erik; Svensson, Lennart; Bengtsson, Kristofer; Akesson, Knut
err分享
err收藏
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers
err2021 29TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED)
IF0
err2021-06-22
err5
PREAI
errRoselli, Sabino Francesco; Fabian, Martin; Akesson, Knut
err分享
err收藏
On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering关于使用等价课程进行最佳和次优的装箱和装箱覆盖
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2021-01-01
err1
errOAAI
errRoselli, Sabino; Hagebring, Fredrik; Riazi, Sarmad; Fabian, Martin; Akesson, Knut
err分享
err收藏
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2017-04-01
err0
PREAI
errFabian, Martin; Lennartson, Bengt; Akesson, Knut
err分享
err收藏
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2015-07-01
err14
errOAAI
errFei, Zhennan; Reveliotis, Spyros; Miremadi, Sajed; Akesson, Knut
err分享
err收藏
Symbolic Supervisory Control of Timed Discrete Event Systems
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2015-03-01
err9
errOAAI
errMiremadi, Sajed; Fei, Zhennan; Akesson, Knut; Lennartson, Bengt
err分享
err收藏
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2014-11-01
err12
errOAAI
errFei, Zhennan; Miremadi, Sajed; Akesson, Knut; Lennartson, Bengt
err分享
err收藏
Symbolic Representation and Computation of Timed Discrete-Event Systems
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2014-01-01
err8
errOAAI
errMiremadi, S.; Fei, Z.; Akesson, K.; Lennartson, B.
err分享
err收藏
Supervisory Control for State-Vector Transition Models-A Unified Approach
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2014-01-01
err7
PREAI
errLennartson, Bengt; Basile, Francesco; Miremadi, Sajed; Fei, Zhennan; Hosseini, Mona Noori; Fabian, Martin; Akesson, Knut
err分享
err收藏
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2012-11-01
err42
errOAAI
errMiremadi, Sajed; Lennartson, Bengt; Akesson, Knut
err分享
err收藏
Towards Industrial Formal Specification of Programmable Safety Systems
errIEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY
IF3.9
err2012-11-01
err10
PREAI
errLjungkrantz, Oscar; Akesson, Knut; Yuan, Chengyin; Fabian, Martin
err分享
err收藏
An empirical study of control logic specifications for programmable logic controllers
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2012-10-14
err11
PREAI
errLjungkrantz, Oscar; Akesson, Knut; Fabian, Martin; Ebrahimi, Amir Hossein
err分享
err收藏
Sequence Planning Using Multiple and Coordinated Sequences of Operations
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2012-04-01
err30
errOAAI
errBengtsson, Kristofer; Bergagard, Patrik; Thorstensson, Carl; Lennartson, Bengt; Akesson, Knut; Yuan, Chengyin; Miremadi, Sajed; Falkman, Petter
err分享
err收藏
Symbolic Computation of Reduced Guards in Supervisory Control
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2011-10-01
err37
errOAAI
errMiremadi, Sajed; Akesson, Knut; Lennartson, Bengt
err分享
err收藏
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2011-07-01
err63
errOAAI
errOuedraogo, Lucien; Kumar, Ratnesh; Malik, Robi; Akesson, Knut
err分享
err收藏
Sequence Planning for Integrated Product, Process and Automation Design
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2010-10-01
err53
PREAI
errLennartson, Bengt; Bengtsson, Kristofer; Yuan, Chengyin; Andersson, Kristin; Fabian, Martin; Falkman, Petter; Akesson, Knut
err分享
err收藏
Formal Specification and Verification of Industrial Control Logic Components
errIEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
IF6.4
err2010-07-01
err29
PREAI
errLjungkrantz, Oscar; Akesson, Knut; Fabian, Martin; Yuan, Chengyin
err分享
err收藏
On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2010-05-01
err36
PREAI
errCengic, Goran; Akesson, Knut
err分享
err收藏
On Formal Analysis of IEC 61499 Applications, Part A: Modeling
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2010-05-01
err41
PREAI
errCengic, Goran; Akesson, Knut
err分享
err收藏
Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
errCONTROL ENGINEERING PRACTICE
IF4.6
err2007-11-01
err22
PREAI
errFlordal, H.; Fabian, M.; Akesson, K.; Spensieri, D.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Ratnesh Kumar
H 指数: 47 · 论文数: 403
L
Lennart Svensson
H 指数: 47 · 论文数: 524
B
Bengt Lennartson
H 指数: 39 · 论文数: 421
S
Spyros Reveliotis
H 指数: 30 · 论文数: 211
S
Seyed Ghassem Miremadi
H 指数: 28 · 论文数: 191
查看更多