Singular perturbation methods in control: Analysis and design: Petar Kokotović, Hassan K. Khalil and John O'Reilly. - Bengt Lennartson (Autom., 1989)

On the choice of controller and sampling period for linear stochastic control. - Bengt Lennartson (Autom., 1990)

Generic Resource Models and a Message-Passing Structure in an FMS Controller. - P. Gullander; Martin Fabian; Sven-Arne Andréasson; Bengt Lennartson; Anders Adlemo (ICRA, 1995)

Performance modeling of automated manufacturing systems. - Bo Egardt; Bengt Lennartson (Autom., 1995)

Controller Design of Hybrid Systems. - Stefan Pettersson; Bengt Lennartson (HART, 1997)

A Class of Non-Deterministic Specifications for Supervisory Control. - Martin Fabian; Bengt Lennartson (Eur. J. Control, 1997)

Modeling, specification and controller synthesis for discrete event systems. - Bengt Lennartson; Michael Tittus; Martin Fabian (SMC, 1998)

H∞ Control of Multirate Sampled-Data Systems: A State-Space Approach. - Mats Sågfors; Hannu T. Toivonen; Bengt Lennartson (Autom., 1998)

Mixed continuous/discrete-time output feedback H∞ control - A unified approach. - Anna-Karin Christiansson; Bengt Lennartson; Hannu T. Toivonen (ECC, 1999)

Frequency analysis for mixed continuous-time and discrete-time periodic systems. - Olof Lindgärde; Bengt Lennartson (ECC, 1999)

Hierarchical supervisory control for batch processes. - Michael Tittus; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 1999)

Stability and robustness of hybrid systems using discrete-time Lyapunov techniques. - Marcus Rubensson; Bengt Lennartson (ACC, 2000)

Continuous, discrete and sampled data H∞ control-a unified framework. - Anna-Karin Christiansson; Bengt Lennartson; Hannu T. Toivonen (CDC, 2000)

ℋ∞ control of unstable, uncertain systems using Horowitz bounds. - Carl-Magnus Fransson; Bengt Lennartson; Claes Breitholtz; Anders Bondeson; Yueqiang Liu (CDC, 2000)

From PI to H∞ control in a unified framework. - Birgitta Kristiansson; Bengt Lennartson; Carl-Magnus Fransson (CDC, 2000)

H∞-control and frequency analysis for systems with mixed continuous-time and discrete-time measurements. - Olof Lindgärde; Bengt Lennartson (CDC, 2000)

Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques. - Marcus Rubensson; Bengt Lennartson (CDC, 2000)

Stability of Hybrid Systems Using LMIs - A Gear-Box Application. - Stefan Pettersson; Bengt Lennartson (HSCC, 2000)

Perspectives and results on the stability and stabilizability of hybrid systems. - Raymond A. DeCarlo; Michael S. Branicky; Stefan Pettersson; Bengt Lennartson (Proc. IEEE, 2000)

State-space solution to the periodic multirate H∞ control problem: a lifting approach. - Mats Sågfors; Hannu T. Toivonen; Bengt Lennartson (IEEE Trans. Autom. Control., 2000)

Combined process algebra and Petri nets for specification of resource booking problems. - Petter Falkman; Bengt Lennartson (ACC, 2001)

H∞ control for uncertain plants using Horowitz bounds. - Carl-Magnus Fransson; Bengt Lennartson; Torsten Wik; Per-Olof Gutman (ACC, 2001)

Robust PI and PID controllers including Smith predictor structure. - Birgitta Kristiansson; Bengt Lennartson (ACC, 2001)

Stabilization of hybrid systems using a min-projection strategy. - Stefan Pettersson; Bengt Lennartson (ACC, 2001)

Efficient application of symbolic tools for resource booking problems. - Arash Vahidi; Bengt Lennartson; Dennis Arkeryd; Martin Fabian (ACC, 2001)

Multi criteria controller design for uncertain MIMO systems using global non-convex optimization. - Carl-Magnus Fransson; Bengt Lennartson; Torsten Wik; Kenneth Holmström (CDC, 2001)

Sampled-data H∞-control for hybrid systems. - Anna-Karin Christiansson; Bengt Lennartson; Hannu T. Toivonen (ECC, 2001)

Control analysis for non-axisymmetric resistive wall mode stabilization in the DIII-D tokamak. - Carl-Magnus Fransson; Bengt Lennartson; Dave Humphreys; Mike Walker; Torkil Jensen; Andrea Garofalo; Anders Bondeson (ACC, 2002)

Global convergence analysis for piecewise linear systems applied to limit cycles in a DC/DC converter. - Marcus Rubensson; Bengt Lennartson (ACC, 2002)

Low order sampled-data control. - Anna-Karin Christiansson; Bengt Lennartson (CDC, 2003)

Low order multicriteria H∞ design via bilinear matrix inequalities. - Carl-Magnus Fransson; Bengt Lennartson (CDC, 2003)

Unified, periodic & sampled data H∞ control using the delta operator. - Bengt Lennartson; Rick Middleton; Anna-Karin Christiansson (CDC, 2004)

Low order sampled data H∞ control using the delta operator and LMIs. - Bengt Lennartson; Rick Middleton; Anna-Karin Christiansson; Tomas McKelvey (CDC, 2004)

Simplified modeling of manufacturing systems: an introduction to sensor activation graphs. - Tord Alenljung; Bengt Lennartson (CASE, 2005)

Implementation of full synchronous composition using IEC 61499 function blocks. - Goran Cengic; Knut Åkesson; Bengt Lennartson; Chengyin Yuan; Placid Mathew Ferreira (CASE, 2005)

Specification of a batch plant using process algebra and Petri nets. - Petter Falkman; Bengt Lennartson; Michael Tittus (CASE, 2005)

Control architecture for flexible production systems. - Bengt Lennartson; Martin Fabian; Petter Falkman (CASE, 2005)

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams. - Arash Vahidi; Bengt Lennartson; Martin Fabian (CDC/ECC, 2005)

Semantics of Sensor Activation Graphs. - Tord Alenljung; Bengt Lennartson (CASE, 2006)

Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells. - Kristin Andersson; Johan Richardsson; Bengt Lennartson; Martin Fabian (CASE, 2006)

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. - Tord Alenljung; Markus Sköldstam; Bengt Lennartson; Knut Åkesson (CASE, 2007)

Specification of Production Systems using PPN and Sequential Operation Charts. - Petter Falkman; Bengt Lennartson; Kristin Andersson (CASE, 2007)

Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control. - Petter Falkman; Johan Nielsen; Bengt Lennartson; Astrid von Euler-Chelpin (IEEE Trans Autom. Sci. Eng., 2008)

Formal verification of PLC controlled systems using Sensor Graphs. - Tord Alenljung; Bengt Lennartson (CASE, 2009)

Generation of restart states for manufacturing systems with discarded workpieces. - Kristin Andersson; Bengt Lennartson; Petter Falkman; Martin Fabian (CASE, 2009)

Operation-oriented specification for integrated control logic development. - Kristofer Bengtsson; Bengt Lennartson; Chengyin Yuan; Petter Falkman; Stephan Biller (CASE, 2009)

Optimal Number of Pallets for Reconfigurable Cyclic Manufacturing Plants. - Maziar Mashaei; Bengt Lennartson; Fredrik Sannehed; Göran Abbestam (ETFA, 2009)

Simulation based Optimization of a Sheet-metal Press Line. - Bo Svensson; Fredrik Danielsson; Bengt Lennartson (ETFA, 2009)

Special Issue on WODES'08. - Bengt Lennartson; Martin Fabian; Alessandro Giua; Ratnesh Kumar 001 (Discret. Event Dyn. Syst., 2009)

Nonconservative Robust Control: Optimized and Constrained Sensitivity Functions. - Carl-Magnus Fransson; Torsten Wik; Bengt Lennartson; Michael A. Saunders; Per Olof Gutman (IEEE Trans. Control. Syst. Technol., 2009)

Relations identification and visualization for sequence planning and automation design. - Kristofer Bengtsson; Carl Thorstensson; Bengt Lennartson; Knut Åkesson; Chengyin Yuan; Sajed Miremadi; Petter Falkman (CASE, 2010)

Optimal design of a decoupled multiple-loop pallet system for cyclic flexible manufacturing plants. - Maziar Mashaei; Bengt Lennartson; Fredrik Sannehed; Göran Abbestam (CASE, 2010)

Automatic generation of controllers for collision-free flexible manufacturing systems. - Mohammad Reza Shoaei; Bengt Lennartson; Sajed Miremadi (CASE, 2010)

Embedding detailed robot energy optimization into high-level scheduling. - Alberto Vergnano; Carl Thorstensson; Bengt Lennartson; Petter Falkman; Marcello Pellicciari; Chengyin Yuan; Stephan Biller; Francesco Leali (CASE, 2010)

Supervisor computation and representation: A case study. - Sajed Miremadi; Knut Åkesson; Bengt Lennartson; Martin Fabian (WODES, 2010)

Restarting Manufacturing Systems; Restart States and Restartability. - Kristin Andersson; Bengt Lennartson; Martin Fabian (IEEE Trans Autom. Sci. Eng., 2010)

Sequence Planning for Integrated Product, Process and Automation Design. - Bengt Lennartson; Kristofer Bengtsson; Chengyin Yuan; Kristin Andersson; Martin Fabian; Petter Falkman; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2010)

Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers. - Kristin Andersson; Johan Richardsson; Bengt Lennartson; Martin Fabian (IEEE Trans. Control. Syst. Technol., 2010)

Green and lean control of cyclic pallet systems. - Maziar Mashaei; Bengt Lennartson; Göran Abbestam (CASE, 2011)

BDD-based supervisory control on extended finite automata. - Sajed Miremadi; Bengt Lennartson; Knut Åkesson (CASE, 2011)

Energy optimization of trajectories for high level scheduling. - Oskar Wigström; Bengt Lennartson (CASE, 2011)

Reduced-order synthesis of operation sequences. - Mohammad Reza Shoaei; Sajed Miremadi; Kristofer Bengtsson; Bengt Lennartson (ETFA, 2011)

Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm. - Bo Svensson; Nima Khansari Nia; Fredrik Danielsson; Bengt Lennartson (ETFA, 2011)

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (ICAART (1), 2011)

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (ICAART (Revised Selected Papers), 2011)

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. - Zhennan Fei; Knut Åkesson; Bengt Lennartson (ICRA, 2011)

Analysis and evaluation of a general camera model. - Anders Ryberg; Bengt Lennartson; Anna-Karin Christiansson; Mikael Ericsson; Lars Asplund (Comput. Vis. Image Underst., 2011)

Symbolic Computation of Reduced Guards in Supervisory Control. - Sajed Miremadi; Knut Åkesson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2011)

Optimization of Hybrid Systems with Known Paths. - Oskar Wigström; Nina Sundström; Bengt Lennartson (ADHS, 2012)

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (CASE, 2012)

Abstractions for nonblocking supervisory control of Extended Finite Automata. - Mohammad Reza Shoaei; Lei Feng 002; Bengt Lennartson (CASE, 2012)

Scheduling model for systems with complex alternative behaviour. - Oskar Wigström; Bengt Lennartson (CASE, 2012)

Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods. - Bengt Lennartson; Richard H. Middleton (CDC, 2012)

Symbolic computation of nonblocking control function for timed discrete event systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (CDC, 2012)

Supervisory control of extended finite automata using transition projection. - Mohammad Reza Shoaei; Lei Feng 002; Bengt Lennartson (CDC, 2012)

State-vector transition model applied to supervisory control. - Bengt Lennartson; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (ETFA, 2012)

A universal framework for lean design and control of automated material handling systems. - Maziar Mashaei; Bengt Lennartson (ETFA, 2012)

Efficient geometrical simulation and virtual commissioning performed in stamping. - Nima Khansari Nia; Fredrik Danielsson; Bengt Lennartson (ETFA, 2012)

Planning in assembly systems - A common modeling for products and resources. - Julien Provost; Bengt Lennartson; Martin Fabian; Åsa Fasth; Johan Stahre (ETFA, 2012)

Model order reduction methods applied to a welding model. - Fredrik Sikström; Anna-Karin Christiansson; Bengt Lennartson (J. Syst. Control. Eng., 2012)

Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators. - Bengt Lennartson; Richard H. Middleton; Ivar Gustafsson (IEEE Trans. Autom. Control., 2012)

Sequence Planning Using Multiple and Coordinated Sequences of Operations. - Kristofer Bengtsson; Patrik Bergagard; Carl Thorstensson; Bengt Lennartson; Knut Åkesson; Chengyin Yuan; Sajed Miremadi; Petter Falkman (IEEE Trans Autom. Sci. Eng., 2012)

Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems. - Alberto Vergnano; Carl Thorstensson; Bengt Lennartson; Petter Falkman; Marcello Pellicciari; Francesco Leali; Stephan Biller (IEEE Trans Autom. Sci. Eng., 2012)

Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. - Tord Alenljung; Bengt Lennartson; Mona Noori Hosseini (IEEE Trans. Control. Syst. Technol., 2012)

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata. - Sajed Miremadi; Bengt Lennartson; Knut Åkesson (IEEE Trans. Control. Syst. Technol., 2012)

Methods for Reliable Simulation-Based PLC Code Verification. - Henrik Carlsson; Bo Svensson; Fredrik Danielsson; Bengt Lennartson (IEEE Trans. Ind. Informatics, 2012)

Operation behavior modeling using relation identification and visualization algorithms. - Kristofer Bengtsson; Bengt Lennartson (CASE, 2013)

Energy efficient and collision free motion of industrial robots using optimal control. - Staffan Björkenstam; Daniel Gleeson; Robert Bohlin; Johan S. Carlson; Bengt Lennartson (CASE, 2013)

Concurrent design and control of automated material handling systems. - Maziar Mashaei; Bengt Lennartson (CASE, 2013)

Integrated OR/CP optimization for Discrete Event Systems with nonlinear cost. - Oskar Wigström; Bengt Lennartson (CDC, 2013)

Patient coordination in emergency departments using visualization of operation behavior. - Kristofer Bengtsson; Bengt Lennartson (CICARE, 2013)

A survey on efficient diagnosability tests for automata and bounded Petri nets. - Mona Noori Hosseini; Bengt Lennartson; Maria Paola Cabasino; Carla Seatzu (ETFA, 2013)

Benders/gossip methods for heterogeneous multi-vehicle routing problems. - Sarmad Riazi; Carla Seatzu; Oskar Wigström; Bengt Lennartson (ETFA, 2013)

Event- and time-based design of operation sequences with uncertainties in execution times. - Nina Sundström; Bengt Lennartson (ETFA, 2013)

Sustainable production automation - energy optimization of robot cells. - Oskar Wigström; Bengt Lennartson (ICRA, 2013)

Editorial: Automation in green manufacturing. - Jingshan Li; James R. Morrison; Mike Tao Zhang; Masaru Nakano; Stephan Biller; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2013)

Energy Reduction in a Pallet-Constrained Flow Shop Through On-Off Control of Idle Machines. - Maziar Mashaei; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2013)

Sustainable and Robust Control of Cyclic Pallet Systems. - Maziar Mashaei; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2013)

High-Level Scheduling of Energy Optimal Trajectories. - Oskar Wigström; Bengt Lennartson; Alberto Vergnano; Claes Breitholtz (IEEE Trans Autom. Sci. Eng., 2013)

Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach. - Emile Glorieux; Fredrik Danielsson; Bo Svensson; Bengt Lennartson (CASE, 2014)

Energy reduction in cyclic flow shop plants through on-off control of robots. - Maziar Mashaei; Bengt Lennartson (CASE, 2014)

Optimal anti-aliasing filter based on multi criteria sampled-data ℋ∞ control. - Bengt Lennartson; Richard H. Middleton (CDC, 2014)

Patient coordination in emergency departments using an event-based information architecture. - Kristofer Bengtsson; Bengt Lennartson (ETFA, 2014)

Verification of diagnosability based on compositional branching bisimulation. - Mona Noori Hosseini; Bengt Lennartson (ETFA, 2014)

Optimal performance of modular and synchronized mechatronic systems. - Sathyamyla Kanthabhabhajeya; Bengt Lennartson (ETFA, 2014)

Supervisory Control of Discrete-Event Systems via IC3. - Mohammad Reza Shoaei; Laura Kovács; Bengt Lennartson (Haifa Verification Conference, 2014)

Towards integrated OR/CP energy optimization for robot cells. - Oskar Wigström; Bengt Lennartson (ICRA, 2014)

Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. - Bengt Lennartson; Oskar Wigström; Martin Fabian; Francesco Basile (WODES, 2014)

Symbolic Interpretation and Execution of Extended Finite Automata. - Mohammad Reza Shoaei; Bengt Lennartson (WODES, 2014)

An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems. - Oskar Wigström; Bengt Lennartson (WODES, 2014)

Flexible Specification of Operation Behavior Using Multiple Projections. - Kristofer Bengtsson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2014)

Supervisory Control for State-Vector Transition Models - A Unified Approach. - Bengt Lennartson; Francesco Basile; Sajed Miremadi; Zhennan Fei; Mona Noori Hosseini; Martin Fabian; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2014)

Symbolic Representation and Computation of Timed Discrete-Event Systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2014)

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. - Zhennan Fei; Sajed Miremadi; Knut Åkesson; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2014)

Modeling and Optimization of Hybrid Systems. - Bengt Lennartson; Oskar Wigström; Sarmad Riazi; Kristofer Bengtsson (ADHS, 2015)

Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning. - Staffan Björkenstam; Johan S. Carlson; Bengt Lennartson (CASE, 2015)

Optimizing robot trajectories for automatic robot code generation. - Daniel Gleeson; Staffan Björkenstam; Robert Bohlin; Johan S. Carlson; Bengt Lennartson (CASE, 2015)

Optimization of hybrid Petri nets with shared variables. - Bengt Lennartson; Kristofer Bengtsson; Oskar Wigström (CASE, 2015)

AREUS - Innovative hardware and software for sustainable industrial robotics. - Marcello Pellicciari; A. Avotins; Kristofer Bengtsson; Giovanni Berselli; Niki Bey; Bengt Lennartson; Davis Meike (CASE, 2015)

Energy optimization of multi-robot systems. - Sarmad Riazi; Kristofer Bengtsson; Oskar Wigström; Emma Vidarsson; Bengt Lennartson (CASE, 2015)

Model based feedback control of gas tungsten arc welding - An experimental study. - Fredrik Sikström; Anna-Karin Christiansson; Bengt Lennartson (CASE, 2015)

From time-optimal schedule to robust event-based control. - Nina Sundström; Bengt Lennartson (ETFA, 2015)

Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation. - Emile Glorieux; Bo Svensson; Fredrik Danielsson; Bengt Lennartson (SSCI, 2015)

Symbolic Supervisory Control of Timed Discrete Event Systems. - Sajed Miremadi; Zhennan Fei; Knut Åkesson; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2015)

Energy reduction in paint shops through energy-sensitive on-off control. - Constantin Cronrath; Bengt Lennartson; Marco Lemessi (CASE, 2016)

Energy and peak-power optimization of existing time-optimal robot trajectories. - Sarmad Riazi; Kristofer Bengtsson; Rainer Bischoff 002; Andreas Aurnhammer; Oskar Wigström; Bengt Lennartson (CASE, 2016)

On the conflict between energy, stability and robustness in production schedules. - Nina Sundström; Oskar Wigström; Sarmad Riazi; Bengt Lennartson (CASE, 2016)

Comparing MILP, CP, and A* for multiple stacker crane scheduling. - Fredrik Hagebring; Oskar Wigström; Bengt Lennartson; Simon Ian Ware; Rong Su 001 (WODES, 2016)

Diagnosability verification using compositional branching bisimulation. - Mona Noori Hosseini; Bengt Lennartson (WODES, 2016)

Rescheduling affected operations - a purely predictive approach. - Nina Sundström; Bengt Lennartson (WODES, 2016)

Modeling and Optimization of Hybrid Systems for the Tweeting Factory. - Bengt Lennartson; Kristofer Bengtsson; Oskar Wigström; Sarmad Riazi (IEEE Trans Autom. Sci. Eng., 2016)

Symbolic On-the-Fly Synthesis in Supervisory Control Theory. - Sajed Miremadi; Bengt Lennartson (IEEE Trans. Control. Syst. Technol., 2016)

From trapezoid to polynomial: Next-generation energy-efficient robot trajectories. - Sarmad Riazi; Kristofer Bengtsson; Bengt Lennartson (CASE, 2017)

Computationally efficient energy optimization of multiple robots. - Oskar Wigström; Nikolce Murgovski; Sarmad Riazi; Bengt Lennartson (CASE, 2017)

Decomposition and distributed algorithms for home healthcare routing and scheduling problem. - Sarmad Riazi; Oskar Wigström; Kristofer Bengtsson; Bengt Lennartson (ETFA, 2017)

A Supervisory Control Algorithm Based on Property-Directed Reachability. - Koen Claessen; Jonatan Kilhamn; Laura Kovács; Bengt Lennartson (Haifa Verification Conference, 2017)

Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates. - Rong Su 001; Bengt Lennartson (Autom., 2017)

Constructive cooperative coevolution for large-scale global optimisation. - Emile Glorieux; Bo Svensson; Fredrik Danielsson; Bengt Lennartson (J. Heuristics, 2017)

An event-driven manufacturing information system architecture for Industry 4.0. - Alfred Theorin; Kristofer Bengtsson; Julien Provost; Michael Lieder; Charlotta Johnsson; Thomas Lundholm; Bengt Lennartson (Int. J. Prod. Res., 2017)

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering. - Martin Fabian; Bengt Lennartson; Knut Åkesson (IEEE Trans Autom. Sci. Eng., 2017)

Energy and Peak Power Optimization of Time-Bounded Robot Trajectories. - Sarmad Riazi; Oskar Wigström; Kristofer Bengtsson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2017)

Conflict Between Energy, Stability, and Robustness in Production Schedules. - Nina Sundström; Oskar Wigström; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2017)

Compositional Optimization of Discrete Event Systems. - Fredrik Hagebring; Bengt Lennartson (CASE, 2018)

Parallelization of a gossip algorithm for vehicle routing problems. - Sarmad Riazi; Kristofer Bengtsson; Bengt Lennartson (CASE, 2018)

Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting. - Nina Sundström; Oskar Wigström; Bengt Lennartson (CASE, 2018)

Incremental Observer Reduction Applied to Opacity Verification and Synthesis. - Mona Noori Hosseini; Bengt Lennartson; Christoforos N. Hadjicostis (CoRR, 2018)

Enhancing Digital Twins through Reinforcement Learning. - Constantin Cronrath; Abolfazl Rezaei Aderiani; Bengt Lennartson (CASE, 2019)

Implementation of a Rapidly Executing Robot Controller. - Daniel Gleeson; Christian Larsen; Johan S. Carlson; Bengt Lennartson (CASE, 2019)

Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning. - Mattias Hovgard; Bengt Lennartson; Kristofer Bengtsson (CASE, 2019)

Scheduling and Routing of AGVs for Large-scale Flexible Manufacturing Systems. - Sarmad Riazi; Thomas Diding; Petter Falkman; Kristofer Bengtsson; Bengt Lennartson (CASE, 2019)

Incremental Abstraction for Diagnosability Verification of Modular Systems. - Mona Noori Hosseini; Bengt Lennartson (ETFA, 2019)

Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances. - Mattias Hovgard; Bengt Lennartson; Kristofer Bengtsson (ETFA, 2019)

Time-optimal control of large-scale systems of systems using compositional optimization. - Fredrik Hagebring; Bengt Lennartson (Discret. Event Dyn. Syst., 2019)

Robust and energy efficient trajectories for robots in a common workspace setting. - Nina Sundström; Oskar Wigström; Bengt Lennartson (IISE Trans., 2019)

A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems. - Sarmad Riazi; Oskar Wigström; Kristofer Bengtsson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2019)

Formal Properties of the Digital Twin - Implications for Learning, optimization, and Control. - Constantin Cronrath; Ludvig Ekström; Bengt Lennartson (CASE, 2020)

Robot spray painting trajectory optimization. - Daniel Gleeson; Stefan Jakobsson; Raad Salman; Niklas Sandgren; Fredrik Edelvik; Johan S. Carlson; Bengt Lennartson (CASE, 2020)

Efficient Temporal Logic Verification by Incremental Abstraction. - Bengt Lennartson; Xudong Liang; Mona Noori Hosseini (CASE, 2020)

Instability Problems in Co-Simulation of Modular Systems. - Ludvig Ekström; Kristofer Bengtsson; Bengt Lennartson (ETFA, 2020)

Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction. - Bengt Lennartson (CASE, 2021)

Online Energy-Optimal Timing of Stochastic Robot Stations. - Mattias Hovgard; Bengt Lennartson; Kristofer Bengtsson (ETFA, 2021)

Co-simulation of Rigid Interactions Using Differential Algebraic Equations. - Ludvig Svedlund; Anton Albo; Bengt Lennartson (ETFA, 2021)

Energy Optimization of Large-Scale AGV Systems. - Sarmad Riazi; Kristofer Bengtsson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2021)

Using CP/SMT Solvers for Scheduling and Routing of AGVs. - Sarmad Riazi; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2021)

Goal-Oriented Process Plans in a Multiagent System for Plug & Produce. - Mattias Bennulf; Fredrik Danielsson; Bo Svensson; Bengt Lennartson (IEEE Trans. Ind. Informatics, 2021)

Relevant Safety Falsification by Automata Constrained Reinforcement Learning. - Constantin Cronrath; Tom Philip Huck; Christoph Ledermann; Torsten Kröger; Bengt Lennartson (CASE, 2022)

Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines. - Mattias Hovgard; Bengt Lennartson; Kristofer Bengtsson (ETFA, 2022)

State-Labeled Safety Analysis of Modular Observers for Opacity Verification. - Bengt Lennartson; Mona Noori Hosseini; Christoforos N. Hadjicostis (IEEE Control. Syst. Lett., 2022)

Generating Optimized Trajectories for Robotic Spray Painting. - Daniel Gleeson; Stefan Jakobsson; Raad Salman; Fredrik Ekstedt; Niklas Sandgren; Fredrik Edelvik; Johan S. Carlson; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2022)

On Optimization of Automation Systems: Integrating Modular Learning and Optimization. - Fredrik Hagebring; Ashfaq Farooqui; Martin Fabian; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2022)

Efficient Safety Verification of Discrete Event Systems. - Bengt Lennartson (CASE, 2023)

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 Kröger (ICRA, 2023)

Reinforcement Learning for Safety Testing: Lessons from A Mobile Robot Case Study. - Tom Philip Huck; Martin Kaiser; Constantin Cronrath; Bengt Lennartson; Torsten Kröger; Tamim Asfour (CoRR, 2023)

Peter Luh, the Father of Automation [In Memoriam]. - Frank C. Park 001; Nukula Viswanadham; Ken Goldberg; Michael Yu Wang; Yu Sun 001; MengChu Zhou; Bengt Lennartson; Fan-Tien Cheng (IEEE Robotics Autom. Mag., 2023)

In Memoriam. - Frank C. Park 001; Nukula Viswanadham; Ken Goldberg; Michael Yu Wang; Yu Sun 001; MengChu Zhou; Bengt Lennartson; Fan-Tien Cheng (IEEE Trans Autom. Sci. Eng., 2023)

Energy reduction of stochastic time-constrained robot stations. - Mattias Hovgard; Bengt Lennartson; Kristofer Bengtsson (Robotics Comput. Integr. Manuf., 2023)

How Useful is Learning in Mitigating Mismatch Between Digital Twins and Physical Systems? - Constantin Cronrath; Bengt Lennartson (IEEE Trans Autom. Sci. Eng., 2024)

Classroom-ready open-source educational exoskeleton for biomedical and control engineering. - Mohammed Al-Tashi; Bengt Lennartson; Max Ortiz-Catalan; Fabian Just (Autom., 2024)