Petter Falkman

Docent at Electrical Engineering, Reglerteknik, automation och mekatronik, Automation

Petter Falkman is Associate Professor in the Automation research group.

Source: chalmers.se

Projects

2014–2015

AProC - Automated Process Controll BIW

Petter Falkman Automation
Rikard Söderberg Product and Production Development
Ilker Erdem Production Systems
VINNOVA

2014–2017

Virtual Commissioning of Production Systems - including PLC logics

Petter Falkman Automation
Martin Fabian Automation
VINNOVA

2015–2016

RObot based Autonomous Refuse handling (ROAR)

Martin Fabian Automation
Patrik Bergagård Automation
Petter Falkman Automation
Volvo Group

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
European Commission (FP7)

There might be more projects where Petter Falkman participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2017

Virtual Reality Commissioning in Production Systems Preparation

Martin Dahl, Anton Albo, Johan Eriksson et al
Paper in proceedings
2017

Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning

Martin Dahl, Kristofer Bengtsson, Patrik Bergagård et al
Paper in proceedings
2017

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

Adnan Khan, Petter Falkman, Martin Fabian
Paper in proceedings
2017

Automatic modeling and simulation of robot program behavior in integrated virtual preparation and commissioning

Martin Dahl, Kristofer Bengtsson, Martin Fabian et al
Procedia Manufacturing, p. 284-291
Paper in proceedings
2016

Error handling within highly automated automotive industry: Current practice and research needs

Ashfaq Hussain Farooqui, Patrik Bergagård, Petter Falkman et al
21st IEEE international conference on Emerging Technologies and Factory Automation, September 6 - 9, 2016, Berlin, Germany. Vol. 2016-November, p. Art no 7733628-
Paper in proceedings
2016

Integrated Virtual Preparation and Commissioning: supporting formal methods during automation systems development

Martin Dahl, Kristofer Bengtsson, Patrik Bergagård et al
IFAC-PapersOnLine. Vol. 49 (12), p. 1939-1944
Paper in proceedings
2016

Vision-based robotic system for picking and inspection of small automotive components

O. Semeniuta, S. Dransfeld, Petter Falkman
IEEE International Conference on Automation Science and Engineering. Vol. 2016-November, p. 549-554
Paper in proceedings
2015

Discrete event dataflow as a formal approach to specification of industrial vision systems

O. Semeniuta, Petter Falkman
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 849-854
Paper in proceedings
2015

Modeling and automatic calculation of restart states for an industrial windscreen mounting station

Patrik Bergagård, Petter Falkman, Martin Fabian
IFAC-PapersOnLine. Vol. 48 (3), p. 1030-1036
Paper in proceedings
2013

Interface between SysML and Sequence Planner Language for Formal Verification

Sathyamyla Kanthabhabhajeya, Joakim Berglund, Petter Falkman et al
Conference poster
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
Journal article
2012

System Modeling Specification in SysML and Sequence Planner Language - Comparison Study

Sathyamyla Kanthabhabhajeya, Petter Falkman, Bengt Lennartson
IFAC Proceedings Volumes. 14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12, Bucharest, 23-25 May 2012. Vol. 14 (PART 1), p. 1543-1550
Paper in proceedings
2012

Optimization of operation sequences using constraint programming

Nina Sundström, Oskar Wigström, Petter Falkman et al
IFAC Proceedings Volumes. 14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12, Bucharest, 23-25 May 2012. Vol. 14 (1), p. 1580-1585
Paper in proceedings
2012

Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems

Alberto Vergnano, Carl Thorstensson, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 423-428
Journal article
2011

Automatic generation: A way of ensuring PLC and HMI standards

Petter Falkman, E. Helander, M. Andersson
Paper in proceedings
2011

Generation of restart states for manufacturing cell controllers

Kristin Andersson, Bengt Lennartson, Petter Falkman et al
Control Engineering Practice. Vol. 19 (9), p. 1014-1022
Journal article
2011

Optimization of Discrete Event Systems Using Extended Finite Automata and Mixed-Integer Nonlinear Programming

Carl Thorstensson, Sathyamyla Kanthabhabhajeya, Bengt Lennartson et al
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18 (PART 1), p. 6969-6975
Paper in proceedings
2011

Planning transport sequences for flexible manufacturing systems

Patrik Bergagård, Nina Sundström, Kristofer Bengtsson et al
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18 (PART 1), p. 9494-9499
Paper in proceedings
2011

Vendor independent control database for virtual preparation and formal verification

Petter Falkman, Jonathan Göransson Hedvall, Anders Holmblad et al
International Conference on Information and Automation, ICIA 2011; Shenzhen; 6 June 2011 through 8 June 2011, p. 851-857
Paper in proceedings
2010

Embedding detailed robot energy optimization into high-level scheduling

Alberto Vergnano, Carl Thorstensson, Bengt Lennartson et al
2010 IEEE International Conference on Automation Science and Engineering, CASE 2010, p. 386-392
Paper in proceedings
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
Journal article
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 in proceedings
2009

Operation-Oriented Specification for Integrated Control Logic Development

Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan et al
2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, p. 183-90
Paper in proceedings
2009

Specification of a Batch Plant using Process Algebra and Petri Nets

Petter Falkman, Bengt Lennartson, Michael Tittus
Control Engineering Practice. Vol. 17 (9), p. 1004-15
Journal article
2009

Verification of Operation Sequences in Process Simulate by Connecting a Formal Verification Tool

Petter Falkman, F. Westman, C. Modig et al
2009 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, Christchurch, NEW ZEALAND, DEC 09-11, 2009. Vol. 1-3, p. 1207-1212
Paper in proceedings
2009

Generation of restart states for manufacturing systems with discarded workpieces

Kristin Andersson, Bengt Lennartson, Petter Falkman et al
2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, p. 191-196
Paper in proceedings
2008

Generation of STEP AP214 models from discrete event systems for process planning and control

Petter Falkman, J. Nielsen, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 5 (1), p. 113-126
Journal article
2007

Specification of Production Systems Using PPN and Sequential Operation Charts

Petter Falkman, Bengt Lennartson, Kristin Andersson
3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007; Scottsdale, AZ; United States; 22 September 2007 through 25 September 2007, p. 20-25
Paper in proceedings
2005

Specification of a Batch Plant using Process Algebra and Petri Nets

Petter Falkman, Bengt Lennartson, Michael Tittus
Paper in proceedings
2005

Control architecture for flexible production systems

Bengt Lennartson, Martin Fabian, Petter Falkman
2005 IEEE Conference on Automation Science and Engineering, IEEE-CASE 2005; Edmonton; Canada; 1 August 2005 through 2 August 2005, p. 307-312
Paper in proceedings
2003

Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange

Petter Falkman, Johan Nielsen, Bengt Lennartson
Journal of Systemics, Cybernetics and Informatics. Vol. 1 (5)
Journal article
2003

Automatic generation of object models for process planning and control purposes using an international standard for information exchangeAutomatic Generation of Object Models

Petter Falkman, Johan Nielsen, Bengt Lennartson
Proceedings of the 7th World Multiconference on Systemics, cybernetics and Informatics. Vol. XIII, p. 382-387
Paper in proceedings
2002

Multi.Viewpoint Modeling of the Innovation System - Using a Hermeneutic Method.

Jonas Fagerström, Dario Aganovic, Johan Nielsen et al
Paper in proceedings
2002

Modeling and Controller Synthesis for Resource Booking Problems using BDDs

Petter Falkman, Arash Vahidi Mazinani, Bengt Lennartson
Proceedings of the 15th IFAC World Congress, Barcelona, Spain, 8 July through 12 July 2001. Vol. 2, p. 1011-1016
Paper in proceedings
2002

A Formal Mapping of Static Information Models into Dynamic Models for Process Planning nad Control Purposes

Petter Falkman, Johan Nielsen, Bengt Lennartson
Paper in proceedings
2001

Modeling and Specification of Discrete Event Systems using Combined Process Algebra and Petri Nets

Petter Falkman, Bengt Lennartson, Michael Tittus
Proceedings 2001 IEEE/ASME Advanced Intelligent Mecatronics, COMO, ITALY, JUL 08-12, 2001. Vol. 2, p. 1011-1016
Paper in proceedings
2001

Combined Process Algebra and Petri Nets for Specification of Resource Booking Problems

Petter Falkman, Bengt Lennartson
American Control Conference. Vol. 6, p. 4949-4955
Paper in proceedings