Bengt Lennartson

Orcid: 0000-0002-3406-3881

According to our database1, Bengt Lennartson authored at least 178 papers between 1989 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

IEEE Fellow

IEEE Fellow 2017, "For contributions to hybrid and discrete event systems for automation and sustainable production".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Classroom-ready open-source educational exoskeleton for biomedical and control engineering.
Autom., May, 2024

How Useful is Learning in Mitigating Mismatch Between Digital Twins and Physical Systems?
IEEE Trans Autom. Sci. Eng., January, 2024

2023
Energy reduction of stochastic time-constrained robot stations.
Robotics Comput. Integr. Manuf., June, 2023

In Memoriam.
IEEE Trans Autom. Sci. Eng., April, 2023

Peter Luh, the Father of Automation [In Memoriam].
IEEE Robotics Autom. Mag., March, 2023

Reinforcement Learning for Safety Testing: Lessons from A Mobile Robot Case Study.
CoRR, 2023

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Efficient Safety Verification of Discrete Event Systems.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022
On Optimization of Automation Systems: Integrating Modular Learning and Optimization.
IEEE Trans Autom. Sci. Eng., 2022

Generating Optimized Trajectories for Robotic Spray Painting.
IEEE Trans Autom. Sci. Eng., 2022

State-Labeled Safety Analysis of Modular Observers for Opacity Verification.
IEEE Control. Syst. Lett., 2022

Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Relevant Safety Falsification by Automata Constrained Reinforcement Learning.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2021
Goal-Oriented Process Plans in a Multiagent System for Plug & Produce.
IEEE Trans. Ind. Informatics, 2021

Using CP/SMT Solvers for Scheduling and Routing of AGVs.
IEEE Trans Autom. Sci. Eng., 2021

Energy Optimization of Large-Scale AGV Systems.
IEEE Trans Autom. Sci. Eng., 2021

Co-simulation of Rigid Interactions Using Differential Algebraic Equations.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Online Energy-Optimal Timing of Stochastic Robot Stations.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Instability Problems in Co-Simulation of Modular Systems.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Efficient Temporal Logic Verification by Incremental Abstraction.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Robot spray painting trajectory optimization.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Formal Properties of the Digital Twin - Implications for Learning, optimization, and Control.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019
A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems.
IEEE Trans Autom. Sci. Eng., 2019

Robust and energy efficient trajectories for robots in a common workspace setting.
IISE Trans., 2019

Time-optimal control of large-scale systems of systems using compositional optimization.
Discret. Event Dyn. Syst., 2019

Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Incremental Abstraction for Diagnosability Verification of Modular Systems.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Scheduling and Routing of AGVs for Large-scale Flexible Manufacturing Systems.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Implementation of a Rapidly Executing Robot Controller.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Enhancing Digital Twins through Reinforcement Learning.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Incremental Observer Reduction Applied to Opacity Verification and Synthesis.
CoRR, 2018

Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Parallelization of a gossip algorithm for vehicle routing problems.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Compositional Optimization of Discrete Event Systems.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
Conflict Between Energy, Stability, and Robustness in Production Schedules.
IEEE Trans Autom. Sci. Eng., 2017

Energy and Peak Power Optimization of Time-Bounded Robot Trajectories.
IEEE Trans Autom. Sci. Eng., 2017

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering.
IEEE Trans Autom. Sci. Eng., 2017

An event-driven manufacturing information system architecture for Industry 4.0.
Int. J. Prod. Res., 2017

Constructive cooperative coevolution for large-scale global optimisation.
J. Heuristics, 2017

Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates.
Autom., 2017

A Supervisory Control Algorithm Based on Property-Directed Reachability.
Proceedings of the Hardware and Software: Verification and Testing, 2017

Decomposition and distributed algorithms for home healthcare routing and scheduling problem.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Computationally efficient energy optimization of multiple robots.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

From trapezoid to polynomial: Next-generation energy-efficient robot trajectories.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016
Symbolic On-the-Fly Synthesis in Supervisory Control Theory.
IEEE Trans. Control. Syst. Technol., 2016

Modeling and Optimization of Hybrid Systems for the Tweeting Factory.
IEEE Trans Autom. Sci. Eng., 2016

Rescheduling affected operations - a purely predictive approach.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Diagnosability verification using compositional branching bisimulation.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Comparing MILP, CP, and A* for multiple stacker crane scheduling.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

On the conflict between energy, stability and robustness in production schedules.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Energy and peak-power optimization of existing time-optimal robot trajectories.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Energy reduction in paint shops through energy-sensitive on-off control.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015
Symbolic Supervisory Control of Timed Discrete Event Systems.
IEEE Trans. Control. Syst. Technol., 2015

Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

From time-optimal schedule to robust event-based control.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Model based feedback control of gas tungsten arc welding - An experimental study.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Energy optimization of multi-robot systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

AREUS - Innovative hardware and software for sustainable industrial robotics.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Optimization of hybrid Petri nets with shared variables.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Optimizing robot trajectories for automatic robot code generation.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Modeling and Optimization of Hybrid Systems.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.
IEEE Trans. Control. Syst. Technol., 2014

Symbolic Representation and Computation of Timed Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2014

Supervisory Control for State-Vector Transition Models - A Unified Approach.
IEEE Trans Autom. Sci. Eng., 2014

Flexible Specification of Operation Behavior Using Multiple Projections.
IEEE Trans Autom. Sci. Eng., 2014

An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Symbolic Interpretation and Execution of Extended Finite Automata.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Towards integrated OR/CP energy optimization for robot cells.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Supervisory Control of Discrete-Event Systems via IC3.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Optimal performance of modular and synchronized mechatronic systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Verification of diagnosability based on compositional branching bisimulation.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Patient coordination in emergency departments using an event-based information architecture.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Optimal anti-aliasing filter based on multi criteria sampled-data ℋ∞ control.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Energy reduction in cyclic flow shop plants through on-off control of robots.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2013
High-Level Scheduling of Energy Optimal Trajectories.
IEEE Trans Autom. Sci. Eng., 2013

Sustainable and Robust Control of Cyclic Pallet Systems.
IEEE Trans Autom. Sci. Eng., 2013

Energy Reduction in a Pallet-Constrained Flow Shop Through On-Off Control of Idle Machines.
IEEE Trans Autom. Sci. Eng., 2013

Editorial: Automation in green manufacturing.
IEEE Trans Autom. Sci. Eng., 2013

Sustainable production automation - energy optimization of robot cells.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Event- and time-based design of operation sequences with uncertainties in execution times.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Benders/gossip methods for heterogeneous multi-vehicle routing problems.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

A survey on efficient diagnosability tests for automata and bounded Petri nets.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Patient coordination in emergency departments using visualization of operation behavior.
Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Healthcare and e-health, 2013

Integrated OR/CP optimization for Discrete Event Systems with nonlinear cost.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Concurrent design and control of automated material handling systems.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Energy efficient and collision free motion of industrial robots using optimal control.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Operation behavior modeling using relation identification and visualization algorithms.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012
Methods for Reliable Simulation-Based PLC Code Verification.
IEEE Trans. Ind. Informatics, 2012

A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata.
IEEE Trans. Control. Syst. Technol., 2012

Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs.
IEEE Trans. Control. Syst. Technol., 2012

Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems.
IEEE Trans Autom. Sci. Eng., 2012

Sequence Planning Using Multiple and Coordinated Sequences of Operations.
IEEE Trans Autom. Sci. Eng., 2012

Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators.
IEEE Trans. Autom. Control., 2012

Model order reduction methods applied to a welding model.
J. Syst. Control. Eng., 2012

Planning in assembly systems - A common modeling for products and resources.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Efficient geometrical simulation and virtual commissioning performed in stamping.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A universal framework for lean design and control of automated material handling systems.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

State-vector transition model applied to supervisory control.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Supervisory control of extended finite automata using transition projection.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Symbolic computation of nonblocking control function for timed discrete event systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Scheduling model for systems with complex alternative behaviour.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Abstractions for nonblocking supervisory control of Extended Finite Automata.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Optimization of Hybrid Systems with Known Paths.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
Symbolic Computation of Reduced Guards in Supervisory Control.
IEEE Trans Autom. Sci. Eng., 2011

Analysis and evaluation of a general camera model.
Comput. Vis. Image Underst., 2011

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Reduced-order synthesis of operation sequences.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Energy optimization of trajectories for high level scheduling.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

BDD-based supervisory control on extended finite automata.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Green and lean control of cyclic pallet systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers.
IEEE Trans. Control. Syst. Technol., 2010

Sequence Planning for Integrated Product, Process and Automation Design.
IEEE Trans Autom. Sci. Eng., 2010

Restarting Manufacturing Systems; Restart States and Restartability.
IEEE Trans Autom. Sci. Eng., 2010

Supervisor computation and representation: A case study.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Embedding detailed robot energy optimization into high-level scheduling.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Automatic generation of controllers for collision-free flexible manufacturing systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Optimal design of a decoupled multiple-loop pallet system for cyclic flexible manufacturing plants.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Relations identification and visualization for sequence planning and automation design.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009
Nonconservative Robust Control: Optimized and Constrained Sensitivity Functions.
IEEE Trans. Control. Syst. Technol., 2009

Special Issue on WODES'08.
Discret. Event Dyn. Syst., 2009

Simulation based Optimization of a Sheet-metal Press Line.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Optimal Number of Pallets for Reconfigurable Cyclic Manufacturing Plants.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Operation-oriented specification for integrated control logic development.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Generation of restart states for manufacturing systems with discarded workpieces.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Formal verification of PLC controlled systems using Sensor Graphs.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008
Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control.
IEEE Trans Autom. Sci. Eng., 2008

2007
Specification of Production Systems using PPN and Sequential Operation Charts.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006
Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

Semantics of Sensor Activation Graphs.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

2005
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Control architecture for flexible production systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Specification of a batch plant using process algebra and Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Implementation of full synchronous composition using IEC 61499 function blocks.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Simplified modeling of manufacturing systems: an introduction to sensor activation graphs.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

2004
Low order sampled data H<sub>∞</sub> control using the delta operator and LMIs.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Unified, periodic & sampled data H<sub>∞</sub> control using the delta operator.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Low order multicriteria <i>H</i><sub>∞</sub> design via bilinear matrix inequalities.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Low order sampled-data control.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
Global convergence analysis for piecewise linear systems applied to limit cycles in a DC/DC converter.
Proceedings of the American Control Conference, 2002

Control analysis for non-axisymmetric resistive wall mode stabilization in the DIII-D tokamak.
Proceedings of the American Control Conference, 2002

2001
Sampled-data H∞-control for hybrid systems.
Proceedings of the 6th European Control Conference, 2001

Multi criteria controller design for uncertain MIMO systems using global non-convex optimization.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Efficient application of symbolic tools for resource booking problems.
Proceedings of the American Control Conference, 2001

Stabilization of hybrid systems using a min-projection strategy.
Proceedings of the American Control Conference, 2001

Robust PI and PID controllers including Smith predictor structure.
Proceedings of the American Control Conference, 2001

H<sub>∞</sub> control for uncertain plants using Horowitz bounds.
Proceedings of the American Control Conference, 2001

Combined process algebra and Petri nets for specification of resource booking problems.
Proceedings of the American Control Conference, 2001

2000
State-space solution to the periodic multirate H<sub>∞</sub> control problem: a lifting approach.
IEEE Trans. Autom. Control., 2000

Perspectives and results on the stability and stabilizability of hybrid systems.
Proc. IEEE, 2000

Stability of Hybrid Systems Using LMIs - A Gear-Box Application.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

H<sub>∞</sub>-control and frequency analysis for systems with mixed continuous-time and discrete-time measurements.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

From PI to H<sub>∞</sub> control in a unified framework.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

ℋ<sub>∞</sub> control of unstable, uncertain systems using Horowitz bounds.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Continuous, discrete and sampled data H<sub>∞</sub> control-a unified framework.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Stability and robustness of hybrid systems using discrete-time Lyapunov techniques.
Proceedings of the American Control Conference, 2000

1999
Hierarchical supervisory control for batch processes.
IEEE Trans. Control. Syst. Technol., 1999

Frequency analysis for mixed continuous-time and discrete-time periodic systems.
Proceedings of the 5th European Control Conference, 1999

Mixed continuous/discrete-time output feedback H∞ control - A unified approach.
Proceedings of the 5th European Control Conference, 1999

1998
H<sub>∞</sub> Control of Multirate Sampled-Data Systems: A State-Space Approach.
Autom., 1998

Modeling, specification and controller synthesis for discrete event systems.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
A Class of Non-Deterministic Specifications for Supervisory Control.
Eur. J. Control, 1997

Controller Design of Hybrid Systems.
Proceedings of the Hybrid and Real-Time Systems, 1997

1995
Performance modeling of automated manufacturing systems.
Autom., 1995

Generic Resource Models and a Message-Passing Structure in an FMS Controller.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1990
On the choice of controller and sampling period for linear stochastic control.
Autom., 1990

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


  Loading...