Petter Falkman

Docent at Department of Signals and Systems, Automation

Petter Falkman is Associate Professor in the Automation research group.

Source: chalmers.se

Projects

2014–2015

AProC - Automated Process Controll BIW

Petter Falkman Department of Signals and Systems, Automation
Rikard Söderberg Department of Product and Production Development
Ilker Erdem Department of Product and Production Development, Production Systems
VINNOVA

2014–2017

Virtual Commissioning of Production Systems - including PLC logics

Petter Falkman Department of Signals and Systems, Automation
Martin Fabian Department of Signals and Systems, Automation
VINNOVA

2015–2016

RObot based Autonomous Refuse handling (ROAR)

Martin Fabian Department of Signals and Systems, Automation
Patrik Bergagård Department of Signals and Systems, Automation
Petter Falkman Department of Signals and Systems, Automation
Volvo Technology

2011–2015

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

Knut Åkesson Department of Signals and Systems, Automation
Petter Falkman Department of Signals and Systems, Automation
Sathyamyla Kanthabhabhajeya Department of Signals and Systems, Automation
Amir Hossein Ebrahimi Department of Signals and Systems, Automation
EC, Seventh Framework program (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

2016

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

Ashfaq Farooqui, Patrik Bergagård, Petter Falkman et al
21st IEEE international conference on Emerging Technologies and Factory Automation, September 6 - 9, 2016, Berlin, Germany
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2015

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

Patrik Bergagård, Petter Falkman, Martin Fabian et al
15th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2015; Ottawa; Canada; 11-13 May 2015. Vol. 48 (3), p. 1030-1036
Conference paper - peer reviewed
2013

Interface between SysML and Sequence Planner Language for Formal Verification

Sathyamyla Kanthabhabhajeya, Joakim Berglund, Petter Falkman et al
23rd Annual INCOSE International Symposium, Philadelphia, USA, June
Conference poster
2012

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

Sathyamyla Kanthabhabhajeya, Petter Falkman, Bengt Lennartson et al
IFAC Proceedings Volumes. 14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12, Bucharest, 23-25 May 2012. Vol. 14, p. 1543-1550
Conference paper - peer reviewed
2012

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

A. Vergnano, Carl Thorstensson, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 423-428
Scientific journal article - peer reviewed
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
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
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, p. 6969-6975
Conference paper - peer reviewed
2011

Automatic generation: A way of ensuring PLC and HMI standards

Petter Falkman, E. Helander, M. Andersson et al
IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011, Toulouse, 5-9 September 2011
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
2011

Planning transport sequences for flexible manufacturing systems

Patrik Magnusson, Nina Sundström, Kristofer Bengtsson et al
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18, p. 9494-9499
Conference paper - peer reviewed
2010

Embedding detailed robot energy optimization into high-level scheduling

A. Vergnano, Carl Thorstensson, Bengt Lennartson et al
2010 IEEE International Conference on Automation Science and Engineering, CASE 2010, p. 386-392
Conference paper - peer reviewed
2010

Sequence Planning for Integrated Product, Process and Automation Design

Bengt Lennartson, K. Bengtsson, C. Y. Yuan et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Scientific journal article - peer reviewed
2010

Relations Identification and Visualization for Sequence Planning and Automation Design

Kristofer Bengtsson, Carl Torstensson, Bengt Lennartson et al
In Proc. IEEE Conference on Automation Science and Engineering, Toronto, p. 841 - 848
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2009

Specification of a Batch Plant using Process Algebra and Petri Nets

Petter Falkman, Bengt Lennartson, Michael Tittus et al
Control Engineering Practice. Vol. 17 (9), p. 1004-15
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
2007

Specification of Production Systems Using PPN and Sequential Operation Charts

Petter Falkman, Bengt Lennartson, Kristin Andersson et al
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
Conference paper - peer reviewed
2005

Specification of a Batch Plant using Process Algebra and Petri Nets

Petter Falkman, Bengt Lennartson, Michael Tittus et al
Proc. of the IEEE Conference on Automation Science and Engineering
Conference paper - peer reviewed
2005

Control architecture for flexible production systems

Bengt Lennartson, Martin Fabian, Petter Falkman et al
2005 IEEE Conference on Automation Science and Engineering, IEEE-CASE 2005; Edmonton; Canada; 1 August 2005 through 2 August 2005, p. 307-312
Conference paper - peer reviewed
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 et al
Journal of Systemics, Cybernetics and Informatics. Vol. 1 (5)
Scientific journal article - peer reviewed
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 et al
Proceedings of the 7th World Multiconference on Systemics, cybernetics and Informatics. Vol. XIII, p. 382-387
Conference paper - peer reviewed
2002

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

Jonas Fagerström, Dario Aganovic, Johan Nielsen et al
Proceedings of the International Conference on Axiomatic Design - ICAD2002.
Conference paper - peer reviewed
2002

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

Petter Falkman, Johan Nielsen, Bengt Lennartson et al
Proceedings of the 6 th Workshop on Discrete Event Systems, Zaragoza, Spain
Conference paper - peer reviewed
2002

Modeling and Controller Synthesis for Resource Booking Problems using BDDs

Petter Falkman, Arash Vahidi, Bengt Lennartson et al
Proceedings of the 15th IFAC World Congress, Barcelona, Spain, 8 July through 12 July 2001. Vol. 2, p. 1011-1016
Conference paper - peer reviewed
2001

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

Petter Falkman, Bengt Lennartson, Michael Tittus et al
Proceedings 2001 IEEE/ASME Advanced Intelligent Mecatronics, COMO, ITALY, JUL 08-12, 2001 . Vol. 2, p. 1011-1016
Conference paper - peer reviewed
2001

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

Petter Falkman, Bengt Lennartson,
Proceedings 2001 IEEE American Control Conference, ARLINGTON, VA. JUN 25-27, 2001 . Vol. 6, p. 4949-4955
Conference paper - peer reviewed