Knut Åkesson

Biträdande professor vid Chalmers, Elektroteknik, System- och reglerteknik, Automation

Knut Åkesson är forskare i industriell automation. Hans forskningsintresse rör användandet av formella metoder för att minska utvecklingstiden och öka kvalitén på styrkod hos tillverknings- och inbyggda styrsystem. Forskningen berör utveckling av effektiva algoritmer och datastrukturer som kan hantera problem av industriell storlek, men också hur modellerna och specifikationerna ska beskrivas samt hur resultaten från algoritmerna ska presenteras för en användare. Knuts forskning har också handlat om hur resultaten kan appliceras på industriella standarder såsom IEC 61131 och IEC 61499.Knut är examinator för grundkursen i reglerteknik för maskiningenjörer samt för fortsättningskursen i Real-time Control Systems som ges på det internationella masterprogrammet i Systems, Control and Mechatronics.

Källa: chalmers.se

Visar 97 publikationer

2017

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen et al
IFAC-PapersOnLine. Vol. 50 (1), p. 9260-9265
Artikel i vetenskaplig tidskrift
2017

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering

Martin Fabian, Bengt Lennartson, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 692-693
Artikel i övriga tidskrifter
2017

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik, Knut Åkesson, Hugo Flordal et al
IFAC-PapersOnLine. Vol. 50 (1), p. 5794-5799
Paper i proceeding
2017

Objective functions for falsification of signal temporal logic properties in cyber-physical systems

Johan Eddeland, Sajed Miremadi, Martin Fabian et al
2017 13th IEEE Conference on Automation Science and Engineering (CASE), p. 1326-1331
Paper i proceeding
2016

Automated analysis of interdependencies between product platforms and assembly operations

Amir Hossein Ebrahimi, Knut Åkesson, Pierre Johansson et al
Procedia CIRP. Vol. 44, p. 67-72
Paper i proceeding
2016

Formulating constraint satisfaction problems for the inspection of configuration rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM. Vol. 30 (3), p. 313-328
Artikel i vetenskaplig tidskrift
2015

Formal analysis of product variability and the effects on assembly operations

Amir Hossein Ebrahimi, Knut Åkesson, Pierre Johansson et al
20th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2015, Luxembourg, 8-11 September 2015
Paper i proceeding
2015

Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM. Vol. 30 (3), p. 313-328
Artikel i vetenskaplig tidskrift
2015

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques

Zhennan Fei, Knut Åkesson, S. Reveliotis
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 799-806
Paper i proceeding
2015

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems

Zhennan Fei, Spyros Reveliotis, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 12 (3), p. 990-1006
Artikel i vetenskaplig tidskrift
2015

Symbolic Supervisory Control of Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 23 (2), p. 584-597
Artikel i vetenskaplig tidskrift
2014

Challenges in product family knowledge modeling and analysis-from product design to manufacturing: Extended abstract

Amir Hossein Ebrahimi, Pierre Johansson, Knut Åkesson
6th International Workshop on Feature-Oriented Software Development, FOSD 2014; Vasteras; Sweden; 14 September 2014 through 14 September 2014. Vol. 2014-September (September), p. 45-
Paper i proceeding
2014

Managing product and production variety - A language workbench approach

Amir Hossein Ebrahimi, Pierre Johansson, Kristofer Bengtsson et al
Procedia CIRP. Vol. 17, p. 338-344
Paper i proceeding
2014

Symbolic Representation and Computation of Timed Discrete-Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 6-19
Artikel i vetenskaplig tidskrift
2014

Supervisory Control for State-Vector Transition Models—A Unified Approach

Bengt Lennartson, Francesco Basile, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Artikel i vetenskaplig tidskrift
2014

An Empirical Study of Control Logic Specifications for Programmable Logic Controllers

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Empirical Software Engineering. Vol. 19 (3), p. 655-677
Artikel i vetenskaplig tidskrift
2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 22 (6), p. 2368-2375
Artikel i vetenskaplig tidskrift
2014

A symbolic approach for maximally permissive deadlock avoidance in complex resource allocation systems

Zhennan Fei, Spyros Reveliotis, Knut Åkesson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 9 (3), p. 362-369
Paper i proceeding
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Preprint
2013

Online support for shop-floor operators using body movements tracking

Julien Provost, Amir Hossein Ebrahimi, Knut Åkesson
12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems. Vol. 12 (1), p. 102-109
Paper i proceeding
2013

Multi-View Hand Tracking using Epipolar Geometry-Based Consistent Labeling for an Industrial Application

Yixiao Yun, Irene Yu-Hua Gu, Julien Provost et al
Seventh ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 2013), Oc.29-Nov.1, Palm Springs, California, USA, p. 6-
Paper i proceeding
2013

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Communications in Computer and Information Science. Vol. 271, p. 161-175
Paper i proceeding
2012

Sequence Planning Using Multiple and Coordinated Sequences of Operations

Kristofer Bengtsson, Patrik Bergagård, Carl Thorstensson et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 308-319
Artikel i vetenskaplig tidskrift
2012

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Paper i proceeding
2012

Towards Industrial Formal Specification of Programmable Safety Systems

Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan et al
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1567-1574
Artikel i vetenskaplig tidskrift
2012

Symbolic representation and computation of timed discrete event systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Rapport
2012

Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Proceedings of the IEEE Conference on Decision and Control, p. 7352-7359
Paper i proceeding
2012

Development of Industrial Visualization Tools for Validation of Vehicle Configuration Rules

Anna Tidstam, Lars-Ola Bligård, Fredrik Ekstedt et al
Proceedings of 9th International Symposium on Tools and Methods of Competitive Engineering, 7-11 May, Karlsruhe, Germany., p. 305-318
Paper i proceeding
2012

A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Sajed Miremadi, Knut Åkesson, Bengt Lennartson
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1421-1435
Artikel i vetenskaplig tidskrift
2012

Verification of Item Usage Rules in Product Configuration

Alexey Voronov, Anna Tidstam, Knut Åkesson et al
Proceedings of 9th International Conference on Product Lifecycle Management, p. 182-191
Paper i proceeding
2012

A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
2012 IEEE Conference on Automation Science and Engineering (CASE), p. 502 - 507
Paper i proceeding
2011

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory

Zhennan Fei, Knut Åkesson, Bengt Lennartson
2011 IEEE International Conference on Robotics and Automation (ICRA), p. 4364 - 4369
Paper i proceeding
2011

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata

Lucien Ouedraogo, Ratnesh Kumar, Robi Malik et al
IEEE Transactions on Automation Science and Engineering. Vol. 8 (3), p. 1545-5955
Artikel i vetenskaplig tidskrift
2011

Modeling sequential resource allocation systems using Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 444 - 449
Paper i proceeding
2011

Enumeration of valid partial configurations

Alexey Voronov, Knut Åkesson, Fredrik Ekstedt
Proceedings of Workshop on Configuration, IJCAI 2011. Vol. 755, p. 25-31
Paper i proceeding
2011

Symbolic Computation of Reduced Guards in Supervisory Control

Sajed Miremadi, Knut Åkesson, Bengt Lennartson
IEEE Transactions on Automation Science and Engineering. Vol. 8 (4), p. 754-765
Artikel i vetenskaplig tidskrift
2011

Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata

R. Malik, Martin Fabian, Knut Åkesson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 18 (PART 1), p. 7000-7005
Paper i proceeding
2011

BDD-based supervisory control on extended finite automata

Sajed Miremadi, Bengt Lennartson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 25-31
Paper i proceeding
2011

Efficient Symbolic Supervisory Synthesis and Guard Generation: Evaluating partitioning techniques for the state-space exploration

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 1, p. 106-115
Paper i proceeding
2010

A formal specification language for PLC-based control logic

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Proceedings of the 8th IEEE International Conference on Industrial Informatics, INDIN 2010; Osaka; 13 July 2010 through 16 July 2010, p. 1067-1072
Paper i proceeding
2010

Formal Specification and Verification of Industrial Control Logic Components

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (3), p. 538-548
Artikel i vetenskaplig tidskrift
2010

On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics

Goran Cengic, Knut Åkesson
IEEE Transactions on Industrial Informatics. Vol. 6 (2), p. 145-154
Artikel i vetenskaplig tidskrift
2010

Supervisor Computation and Representation: A Case Study

Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010. Vol. 10 (1), p. 275-280
Paper i proceeding
2010

Practice of Industrial Control Logic Programming using Library Components

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Programmable Logic Controller, p. 17-32
Kapitel i bok
2010

Symbolic approach to nonblocking and safe control of extended Finite Automata

L. Ouedraogo, R. Kumar, R. Malik et al
2010 IEEE International Conference on Automation Science and Engineering, CASE 2010, p. 471-476
Paper i proceeding
2010

Sequence Planning for Integrated Product, Process and Automation Design

Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Artikel i vetenskaplig tidskrift
2010

Relations Identification and Visualization for Sequence Planning and Automation Design

Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson et al
In Proc. IEEE Conference on Automation Science and Engineering, Toronto, p. 841 - 848
Paper i proceeding
2010

Modular specification of forbidden states for supervisory control

Patrik Bergagård, Martin Fabian, Knut Åkesson
IFAC Proceedings Volumes. 10th International Workshop on Discrete Event Systems (WODES), Berlin, 30 August - 1 September 2010. Vol. 10, p. 412-417
Paper i proceeding
2010

On Formal Analysis of IEC 61499 Applications, Part A: Modeling

Goran Cengic, Knut Åkesson
IEEE Transactions on Industrial Informatics. Vol. 6 (2), p. 136-144
Artikel i vetenskaplig tidskrift
2009

Verification of Process Operations Using Model Checking

Alexey Voronov, Knut Åkesson
Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on, p. 415-420
Paper i proceeding
2009

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 495-524
Artikel i vetenskaplig tidskrift
2008

Definition of the Execution Model Used in the Fuber IEC 61499 Runtime Environment

Goran Cengic, Knut Åkesson
Proceedings of the 6th IEEE International Conference on Industrial Informatics, p. 301-306
Artikel i vetenskaplig tidskrift
2008

Supervisory Control using Satisfiability Solvers

Alexey Voronov, Knut Åkesson
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on, p. 81-86
Paper i proceeding
2008

A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification

Goran Cengic, Knut Åkesson
Proceedings of the 17th IFAC World Congress, p. 22-27
Artikel i vetenskaplig tidskrift
2008

Supervisory Control Applied to Automata Extended with Variables - Revised

Markus Sköldstam, Knut Åkesson, Martin Fabian
Rapport
2008

Reusable Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Rapport
2008

Formal Specification and Verification of Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Proceedings of the 4th IEEE Conference on Automation Science and Engineering, p. 935-940
Paper i proceeding
2008

Solving Two Supervisory Control Benchmark Problems Using Supremica

Sajed Miremadi, Knut Åkesson, Martin Fabian et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Paper i proceeding
2008

Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata

Sajed Miremadi, Knut Åkesson, Bengt Lennartson
9th International Workshop on Discrete Event Systems, 2008, p. 193-199
Paper i proceeding
2007

Modeling of Discrete Event Systems using Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Proceedings of the 46th IEEE Conference on Decision and Control, p. 3387-3392
Paper i proceeding
2007

Supervisory control applied to automata extended with variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Rapport
2007

Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers

Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson et al
2007 IEEE International Conference on Robotics and Automation, ICRA'07; Rome; Italy; 10 April 2007 through 14 April 2007, p. 674-679
Paper i proceeding
2007

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior

Avenir Kobetski, Johan Richardsson, Knut Åkesson et al
IEEE Conference on Automation Science and Engineering
Paper i proceeding
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 17 (4), p. 475-504
Artikel i vetenskaplig tidskrift
2007

Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Control Engineering Practice. Vol. 15 (11), p. 1416-1426
Artikel i vetenskaplig tidskrift
2007

Towards a Framework for Integrated Supervisory and Logic Control

Knut Åkesson, Markus Sköldstam
1St IFAC Workshop on Dependable Control of Discrete Systems, p. 83-88
Paper i proceeding
2007

A framework for integrated supervisory and logic control framework

Knut Åkesson, Markus Sköldstam
Rapport
2007

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems

Tord Alenljung, Markus Sköldstam, Bengt Lennartson et al
IEEE International Conference on Automation Science and Engineering, p. 207-212
Paper i proceeding
2007

A Study of Industrial Logic Control Programming Using Library Components

Oscar Ljungkrantz, Knut Åkesson
Proceedings of the 3rd Annual IEEE Conference on Automation Science and Engineering
Paper i proceeding
2007

Modeling of Discrete Event Systems using Finite Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Artikel i vetenskaplig tidskrift
2006

Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proceeding os the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, USA, p. 384-385
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2006

A Framework for Component Based Distributed Control Software Development Using IEC 61499

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
Artikel i vetenskaplig tidskrift
2006

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA; Hamburg; Germany; 20 September 2006 through 22 September 2006, p. 1269-1276
Paper i proceeding
2006

Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams

Martin Byröd, Bengt Lennartson, Arash Vahidi Mazinani et al
8th International Workshop on Discrete Event Systems, WODES 2006; Ann Arbor, MI; United States; 10 July 2006 through 12 July 2006, p. 288-293
Paper i proceeding
2005

Implementation of full synchronous composition using IEC 61499 function blocks

Goran Cengic, Knut Åkesson, Bengt Lennartson et al
2005 IEEE International Conference on Automation Science and Engineering (CASE) (IEEE Cat. No.05EX1181), p. 267-72
Paper i proceeding
2004

Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles

Hugo Flordal, Domenico Spensieri, Knut Åkesson et al
Proceedings of the IEEE Conference on Control Applications, Taipei, Taiwan, 2-4 Sept. 2004. Vol. 2, p. 1404 - 1409
Paper i proceeding
2004

Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells

Hugo Flordal, Martin Fabian, Knut Åkesson
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Paper i proceeding
2004

Controllability Revisited: A Generalization for the Modular Approach

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Paper i proceeding
2003

Computer-Human Supervision of Flexible Manufacturing Systems

Knut Åkesson
Proceedings of the 8th IFAC Symposium on Automated Systems based on Human Skill and Knowledge, Gothenburg
Paper i proceeding
2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson
Konferensprogram för Mekatronikmötet 2003, Göteborg, Sweden
Paper i proceeding
2003

Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece
Paper i proceeding
2002

Hybrid Computer-Human Supervision of Discrete Event Systems

Knut Åkesson, Sachin Jain, Chengyin Yuan et al
proc. of 2002 IEEE International Conference on Robotics and Automation, Washington DC, MAY 11-15,, USA, p. 2321-2326
Paper i proceeding
2002

Exploiting Modularity for Synthesis and Verification of Supervisors

Knut Åkesson, Hugo Flordal, Martin Fabian
Proceedings of the IFAC World Congress on Automatic Control, Barcelona, Spain
Paper i proceeding
2000

Coordination of batches in flexible production

Knut Åkesson, Martin Fabian, Arash Vahidi Mazinani
Proceedings of the 2000 American Control Conference. Vol. 4, p. 2735 -2739
Paper i proceeding
1999

Petri net models in batch control

Michael Tittus, Knut Åkesson
Mathematical and Computer Modelling of Dynamical Systems. Vol. 5 (2)
Artikel i vetenskaplig tidskrift
1999

Implementing supervisory control for chemical batch processes

Knut Åkesson, Martin Fabian
Proc of IEEE Conference on Control Applications, Hawaii
Paper i proceeding
1999

Recipe coordination in chemical batch processes

Knut Åkesson
Licentiatavhandling
1999

Deadlock avoidance in batch processes

Michael Tittus, Knut Åkesson
Proc of the IFAC World Congress, Beijing
Paper i proceeding
1998

Modular Control for Avoiding Deadlock in Batch Processes

Knut Åkesson, Michael Tittus
Proc WBF Meeting of the Minds, Baltimore, USA
Paper i proceeding
1998

Modular Supervisors for Deadlock Avoidance in Batch Processes

Michael Tittus, Knut Åkesson
Proc Systems, Man and Cybernetics, San Diego, CA, p. 764--769-
Paper i proceeding
1997

Discrete Event Models in Batch Control

Michael Tittus, Knut Åkesson
Proc of the 2nd MATHMOD, Vienna, Austria
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 3 forskningsprojekt

2016–2019

TESTRON - Modellbaserad testning av mekatroniska system

Knut Åkesson Automation
Martin Fabian Automation
VINNOVA

2017–2022

Systematisk testning av cyberfysiska system (SyTeC)

John Hughes Funktionell programmering
Koen Lindström Claessen Funktionell programmering
Martin Fabian Automation
Mary Sheeran Funktionell programmering
Bengt Lennartson Automation
Nicholas Smallbone Funktionell programmering
Zahra Ramezani Automation
Knut Åkesson Automation
Vetenskapsrådet (VR)

2011–2015

An Internet-based Collaborative Platform for Managing Manufacturing Knowledge (Know4Car)

Knut Åkesson Automation
Petter Falkman Automation
Sathyamyla Kanthabhabhajeya Automation
Amir Hossein Ebrahimi Automation
Europeiska kommissionen (FP7)

Det kan finnas fler projekt där Knut Åkesson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.