Knut Åkesson

	2012
19		Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman: Sequence Planning Using Multiple and Coordinated Sequences of Operations. IEEE T. Automation Science and Engineering 9(2): 308-319 (2012)
	2011
18		Sajed Miremadi, Bengt Lennartson, Knut Åkesson: BDD-based supervisory control on extended finite automata. CASE 2011: 25-31
17		Zhennan Fei, Sajed Miremadi, Knut Åkesson: Modeling sequential resource allocation systems using Extended Finite Automata. CASE 2011: 444-449
16		Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson: Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. ICAART (1) 2011: 106-115
15		Zhennan Fei, Knut Åkesson, Bengt Lennartson: Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. ICRA 2011: 4364-4369
14		Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson: Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. IEEE T. Automation Science and Engineering 8(3): 560-569 (2011)
13		Sajed Miremadi, Knut Åkesson, Bengt Lennartson: Symbolic Computation of Reduced Guards in Supervisory Control. IEEE T. Automation Science and Engineering 8(4): 754-765 (2011)
	2010
12		Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson: Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE 2010: 471-476
11		Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman: Relations identification and visualization for sequence planning and automation design. CASE 2010: 841-848
10		Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan: Formal Specification and Verification of Industrial Control Logic Components. IEEE T. Automation Science and Engineering 7(3): 538-548 (2010)
9		Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, Kristin Andersson, Martin Fabian, Petter Falkman, Knut Åkesson: Sequence Planning for Integrated Product, Process and Automation Design. IEEE T. Automation Science and Engineering 7(4): 791-802 (2010)
8		Goran Cengic, Knut Åkesson: On Formal Analysis of IEC 61499 Applications, Part A: Modeling. IEEE Trans. Industrial Informatics 6(2): 136-144 (2010)
7		Goran Cengic, Knut Åkesson: On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics. IEEE Trans. Industrial Informatics 6(2): 145-154 (2010)
	2009
6		Alexey Voronov, Knut Åkesson: Verification of process operations using model checking. CASE 2009: 415-420
5		Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson: SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discrete Event Dynamic Systems 19(4): 495-524 (2009)
	2007
4		Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson, Kristin Andersson: Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers. ICRA 2007: 674-679
3		Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson: Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discrete Event Dynamic Systems 17(4): 475-504 (2007)
	2006
2		Goran Cengic, Oscar Ljungkrantz, Knut Åkesson: Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime. ETFA 2006: 1269-1276
1		Goran Cengic, Oscar Ljungkrantz, Knut Åkesson: A Framework for Component Based Distributed Control Software Development Using IEC 61499. ETFA 2006: 782-789

Coauthor Index

1	Kristin Andersson	[4] [9]
2	Kristofer Bengtsson	[9] [11] [19]
3	Patrik Bergagard	[19]
4	Goran Cengic	[1] [2] [7] [8]
5	Koen Claessen	[5]
6	Niklas Eén	[5]
7	Martin Fabian	[3] [9] [10]
8	Petter Falkman	[9] [11] [19]
9	Zhennan Fei	[15] [16] [17]
10	Hugo Flordal	[3]
11	Ratnesh Kumar	[12] [14]
12	Bengt Lennartson	[9] [11] [13] [15] [16] [18] [19]
13	Oscar Ljungkrantz	[1] [2] [4] [10]
14	Robi Malik	[3] [12] [14]
15	Sajed Miremadi	[11] [13] [16] [17] [18] [19]
16	Lucien Ouedraogo	[12] [14]
17	Johan Richardsson	[4]
18	Mary Sheeran	[5]
19	Niklas Sörensson	[5]
20	Carl Thorstensson	[11] [19]
21	Alexey Voronov	[5] [6]
22	Chengyin Yuan	[9] [10] [11] [19]

Colors in the list of coauthors

Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page