| 2023 | ICRA | Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. | Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Krger |
| 2022 | ETFA | Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines. | Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson |
| 2021 | ETFA | Online Energy-Optimal Timing of Stochastic Robot Stations. | Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson |
| 2021 | ETFA | Co-simulation of Rigid Interactions Using Differential Algebraic Equations. | Ludvig Svedlund, Anton Albo, Bengt Lennartson |
| 2020 | ETFA | Instability Problems in Co-Simulation of Modular Systems. | Ludvig Ekstrm, Kristofer Bengtsson, Bengt Lennartson |
| 2019 | ETFA | Incremental Abstraction for Diagnosability Verification of Modular Systems. | Mona Noori Hosseini, Bengt Lennartson |
| 2019 | ETFA | Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances. | Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson |
| 2017 | ETFA | Decomposition and distributed algorithms for home healthcare routing and scheduling problem. | Sarmad Riazi, Oskar Wigstrm, Kristofer Bengtsson, Bengt Lennartson |
| 2015 | ETFA | From time-optimal schedule to robust event-based control. | Nina Sundstrm, Bengt Lennartson |
| 2014 | ETFA | Patient coordination in emergency departments using an event-based information architecture. | Kristofer Bengtsson, Bengt Lennartson |
| 2014 | ETFA | Verification of diagnosability based on compositional branching bisimulation. | Mona Noori Hosseini, Bengt Lennartson |
| 2014 | ETFA | Optimal performance of modular and synchronized mechatronic systems. | Sathyamyla Kanthabhabhajeya, Bengt Lennartson |
| 2014 | ICRA | Towards integrated OR/CP energy optimization for robot cells. | Oskar Wigstrm, Bengt Lennartson |
| 2013 | ETFA | A survey on efficient diagnosability tests for automata and bounded Petri nets. | Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu |
| 2013 | ETFA | Benders/gossip methods for heterogeneous multi-vehicle routing problems. | Sarmad Riazi, Carla Seatzu, Oskar Wigstrm, Bengt Lennartson |
| 2013 | ETFA | Event- and time-based design of operation sequences with uncertainties in execution times. | Nina Sundstrm, Bengt Lennartson |
| 2013 | ICRA | Sustainable production automation - energy optimization of robot cells. | Oskar Wigstrm, Bengt Lennartson |
| 2012 | ETFA | State-vector transition model applied to supervisory control. | Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut kesson |
| 2012 | ETFA | A universal framework for lean design and control of automated material handling systems. | Maziar Mashaei, Bengt Lennartson |
| 2012 | ETFA | Efficient geometrical simulation and virtual commissioning performed in stamping. | Nima Khansari Nia, Fredrik Danielsson, Bengt Lennartson |
| 2012 | ETFA | Planning in assembly systems - A common modeling for products and resources. | Julien Provost, Bengt Lennartson, Martin Fabian, sa Fasth, Johan Stahre |
| 2011 | ETFA | Reduced-order synthesis of operation sequences. | Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson |
| 2011 | ETFA | Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm. | Bo Svensson, Nima Khansari Nia, Fredrik Danielsson, Bengt Lennartson |
| 2011 | ICAART | Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. | Zhennan Fei, Sajed Miremadi, Knut kesson, Bengt Lennartson |
| 2011 | ICAART | Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. | Zhennan Fei, Sajed Miremadi, Knut kesson, Bengt Lennartson |
| 2011 | ICRA | Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. | Zhennan Fei, Knut kesson, Bengt Lennartson |
| 2009 | ETFA | Optimal Number of Pallets for Reconfigurable Cyclic Manufacturing Plants. | Maziar Mashaei, Bengt Lennartson, Fredrik Sannehed, Gran Abbestam |
| 2009 | ETFA | Simulation based Optimization of a Sheet-metal Press Line. | Bo Svensson, Fredrik Danielsson, Bengt Lennartson |
| 1998 | SMC | Modeling, specification and controller synthesis for discrete event systems. | Bengt Lennartson, Michael Tittus, Martin Fabian |
| 1995 | ICRA | Generic Resource Models and a Message-Passing Structure in an FMS Controller. | P. Gullander, Martin Fabian, Sven-Arne Andrasson, Bengt Lennartson, Anders Adlemo |