Bengt Lennartson

186 papers A* 5B 1C 30Journal 59Unranked 90
YearRankTypeTitle / Venue / Authors
2026 J jnl
Model-Based Data-Efficient and Robust Reinforcement Learning.
CoRR
Ludvig Svedlund, Constantin Cronrath, Jonas Fredriksson, Bengt Lennartson
2025 — conf
Robust Linear Quadratic Reinforcement Learning by Filtering.
CASE
Ludvig Svedlund, Bengt Lennartson
2024 J jnl
Classroom-ready open-source educational exoskeleton for biomedical and control engineering.
Autom.
Mohammed Al-Tashi, Bengt Lennartson, Max Ortiz-Catalan, Fabian Just
2024 J jnl
How Useful is Learning in Mitigating Mismatch Between Digital Twins and Physical Systems?
IEEE Trans Autom. Sci. Eng.
Constantin Cronrath, Bengt Lennartson
2023 — conf
Efficient Safety Verification of Discrete Event Systems.
CASE
Bengt Lennartson
2023 J jnl
Energy reduction of stochastic time-constrained robot stations.
Robotics Comput. Integr. Manuf.
Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson
2023 A* conf
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.
ICRA
Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger
2023 J jnl
In Memoriam.
IEEE Trans Autom. Sci. Eng.
Frank C. Park, Nukula Viswanadham, Ken Goldberg, Michael Yu Wang, Yu Sun, MengChu Zhou, Bengt Lennartson, Fan-Tien Cheng
2023 J jnl
Peter Luh, the Father of Automation [In Memoriam].
IEEE Robotics Autom. Mag.
Frank C. Park, Nukula Viswanadham, Ken Goldberg, Michael Yu Wang, Yu Sun, MengChu Zhou, Bengt Lennartson, Fan-Tien Cheng
2023 J jnl
Reinforcement Learning for Safety Testing: Lessons from A Mobile Robot Case Study.
CoRR
Tom Philip Huck, Martin Kaiser, Constantin Cronrath, Bengt Lennartson, Torsten Kröger, Tamim Asfour
2022 C conf
Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines.
ETFA
Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson
2022 J jnl
Generating Optimized Trajectories for Robotic Spray Painting.
IEEE Trans Autom. Sci. Eng.
Daniel Gleeson, Stefan Jakobsson, Raad Salman, Fredrik Ekstedt, Niklas Sandgren, Fredrik Edelvik, Johan S. Carlson, Bengt Lennartson
2022 J jnl
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.
CoRR
Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger
2022 J jnl
On Optimization of Automation Systems: Integrating Modular Learning and Optimization.
IEEE Trans Autom. Sci. Eng.
Fredrik Hagebring, Ashfaq Farooqui, Martin Fabian, Bengt Lennartson
2022 — conf
Relevant Safety Falsification by Automata Constrained Reinforcement Learning.
CASE
Constantin Cronrath, Tom Philip Huck, Christoph Ledermann, Torsten Kröger, Bengt Lennartson
2022 J jnl
State-Labeled Safety Analysis of Modular Observers for Opacity Verification.
IEEE Control. Syst. Lett.
Bengt Lennartson, Mona Noori Hosseini, Christoforos N. Hadjicostis
2021 C conf
Co-simulation of Rigid Interactions Using Differential Algebraic Equations.
ETFA
Ludvig Svedlund, Anton Albo, Bengt Lennartson
2021 J jnl
Energy Optimization of Large-Scale AGV Systems.
IEEE Trans Autom. Sci. Eng.
Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson
2021 J jnl
Goal-Oriented Process Plans in a Multiagent System for Plug & Produce.
IEEE Trans. Ind. Informatics
Mattias Bennulf, Fredrik Danielsson, Bo Svensson, Bengt Lennartson
2021 — conf
Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction.
CASE
Bengt Lennartson
2021 C conf
Online Energy-Optimal Timing of Stochastic Robot Stations.
ETFA
Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson
2021 J jnl
Using CP/SMT Solvers for Scheduling and Routing of AGVs.
IEEE Trans Autom. Sci. Eng.
Sarmad Riazi, Bengt Lennartson
2020 — conf
Efficient Temporal Logic Verification by Incremental Abstraction.
CASE
Bengt Lennartson, Xudong Liang, Mona Noori Hosseini
2020 — conf
Formal Properties of the Digital Twin - Implications for Learning, optimization, and Control.
CASE
Constantin Cronrath, Ludvig Ekström, Bengt Lennartson
2020 C conf
Instability Problems in Co-Simulation of Modular Systems.
ETFA
Ludvig Ekström, Kristofer Bengtsson, Bengt Lennartson
2020 — conf
Robot spray painting trajectory optimization.
CASE
Daniel Gleeson, Stefan Jakobsson, Raad Salman, Niklas Sandgren, Fredrik Edelvik, Johan S. Carlson, Bengt Lennartson
2019 J jnl
A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems.
IEEE Trans Autom. Sci. Eng.
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson
2019 C conf
Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances.
ETFA
Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson
2019 — conf
Enhancing Digital Twins through Reinforcement Learning.
CASE
Constantin Cronrath, Abolfazl Rezaei Aderiani, Bengt Lennartson
2019 — conf
Implementation of a Rapidly Executing Robot Controller.
CASE
Daniel Gleeson, Christian Larsen, Johan S. Carlson, Bengt Lennartson
2019 C conf
Incremental Abstraction for Diagnosability Verification of Modular Systems.
ETFA
Mona Noori Hosseini, Bengt Lennartson
2019 J jnl
Robust and energy efficient trajectories for robots in a common workspace setting.
IISE Trans.
Nina Sundström, Oskar Wigström, Bengt Lennartson
2019 — conf
Scheduling and Routing of AGVs for Large-scale Flexible Manufacturing Systems.
CASE
Sarmad Riazi, Thomas Diding, Petter Falkman, Kristofer Bengtsson, Bengt Lennartson
2019 — conf
Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning.
CASE
Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson
2019 J jnl
Time-optimal control of large-scale systems of systems using compositional optimization.
Discret. Event Dyn. Syst.
Fredrik Hagebring, Bengt Lennartson
2018 — conf
Compositional Optimization of Discrete Event Systems.
CASE
Fredrik Hagebring, Bengt Lennartson
2018 J jnl
Incremental Observer Reduction Applied to Opacity Verification and Synthesis.
CoRR
Mona Noori Hosseini, Bengt Lennartson, Christoforos N. Hadjicostis
2018 — conf
Parallelization of a gossip algorithm for vehicle routing problems.
CASE
Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson
2018 — conf
Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting.
CASE
Nina Sundström, Oskar Wigström, Bengt Lennartson
2017 — conf
A Supervisory Control Algorithm Based on Property-Directed Reachability.
Haifa Verification Conference
Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
2017 J jnl
A Supervisory Control Algorithm Based on Property-Directed Reachability.
CoRR
Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
2017 J jnl
An event-driven manufacturing information system architecture for Industry 4.0.
Int. J. Prod. Res.
Alfred Theorin, Kristofer Bengtsson, Julien Provost, Michael Lieder, Charlotta Johnsson, Thomas Lundholm, Bengt Lennartson
2017 — conf
Computationally efficient energy optimization of multiple robots.
CASE
Oskar Wigström, Nikolce Murgovski, Sarmad Riazi, Bengt Lennartson
2017 J jnl
Conflict Between Energy, Stability, and Robustness in Production Schedules.
IEEE Trans Autom. Sci. Eng.
Nina Sundström, Oskar Wigström, Bengt Lennartson
2017 — conf
Conflict between energy, stability and robustness in production schedules.
CASE
Nina Sundström, Oskar Wigström, Bengt Lennartson
2017 J jnl
Constructive cooperative coevolution for large-scale global optimisation.
J. Heuristics
Emile Glorieux, Bo Svensson, Fredrik Danielsson, Bengt Lennartson
2017 J jnl
Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates.
Autom.
Rong Su, Bengt Lennartson
2017 C conf
Decomposition and distributed algorithms for home healthcare routing and scheduling problem.
ETFA
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson
2017 J jnl
Energy and Peak Power Optimization of Time-Bounded Robot Trajectories.
IEEE Trans Autom. Sci. Eng.
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson
2017 — conf
Energy and peak-power optimization of time-bounded robot trajectories.
CASE
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson
2017 — conf
From trapezoid to polynomial: Next-generation energy-efficient robot trajectories.
CASE
Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson
2017 J jnl
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering.
IEEE Trans Autom. Sci. Eng.
Martin Fabian, Bengt Lennartson, Knut Åkesson
2016 — conf
Comparing MILP, CP, and A* for multiple stacker crane scheduling.
WODES
Fredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su
2016 — conf
Diagnosability verification using compositional branching bisimulation.
WODES
Mona Noori Hosseini, Bengt Lennartson
2016 — conf
Energy and peak-power optimization of existing time-optimal robot trajectories.
CASE
Sarmad Riazi, Kristofer Bengtsson, Rainer Bischoff, Andreas Aurnhammer, Oskar Wigström, Bengt Lennartson
2016 — conf
Energy reduction in paint shops through energy-sensitive on-off control.
CASE
Constantin Cronrath, Bengt Lennartson, Marco Lemessi
2016 J jnl
Modeling and Optimization of Hybrid Systems for the Tweeting Factory.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström, Sarmad Riazi
2016 — conf
On the conflict between energy, stability and robustness in production schedules.
CASE
Nina Sundström, Oskar Wigström, Sarmad Riazi, Bengt Lennartson
2016 — conf
Rescheduling affected operations - a purely predictive approach.
WODES
Nina Sundström, Bengt Lennartson
2016 J jnl
Symbolic On-the-Fly Synthesis in Supervisory Control Theory.
IEEE Trans. Control. Syst. Technol.
Sajed Miremadi, Bengt Lennartson
2015 — conf
AREUS - Innovative hardware and software for sustainable industrial robotics.
CASE
Marcello Pellicciari, A. Avotins, Kristofer Bengtsson, Giovanni Berselli, Niki Bey, Bengt Lennartson, Davis Meike
2015 — conf
Energy optimization of multi-robot systems.
CASE
Sarmad Riazi, Kristofer Bengtsson, Oskar Wigström, Emma Vidarsson, Bengt Lennartson
2015 — conf
Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning.
CASE
Staffan Björkenstam, Johan S. Carlson, Bengt Lennartson
2015 C conf
From time-optimal schedule to robust event-based control.
ETFA
Nina Sundström, Bengt Lennartson
2015 — conf
Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation.
SSCI
Emile Glorieux, Bo Svensson, Fredrik Danielsson, Bengt Lennartson
2015 — conf
Model based feedback control of gas tungsten arc welding - An experimental study.
CASE
Fredrik Sikström, Anna-Karin Christiansson, Bengt Lennartson
2015 — conf
Modeling and Optimization of Hybrid Systems.
ADHS
Bengt Lennartson, Oskar Wigström, Sarmad Riazi, Kristofer Bengtsson
2015 — conf
Optimization of hybrid Petri nets with shared variables.
CASE
Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström
2015 — conf
Optimizing robot trajectories for automatic robot code generation.
CASE
Daniel Gleeson, Staffan Björkenstam, Robert Bohlin, Johan S. Carlson, Bengt Lennartson
2015 J jnl
Symbolic Supervisory Control of Timed Discrete Event Systems.
IEEE Trans. Control. Syst. Technol.
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2014 — ed.
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014.
WODES
Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson
2014 — conf
An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems.
WODES
Oskar Wigström, Bengt Lennartson
2014 J jnl
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.
IEEE Trans. Control. Syst. Technol.
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2014 — conf
Energy reduction in cyclic flow shop plants through on-off control of robots.
CASE
Maziar Mashaei, Bengt Lennartson
2014 J jnl
Flexible Specification of Operation Behavior Using Multiple Projections.
IEEE Trans Autom. Sci. Eng.
Kristofer Bengtsson, Bengt Lennartson
2014 — conf
Optimal anti-aliasing filter based on multi criteria sampled-data ℋ∞ control.
CDC
Bengt Lennartson, Richard H. Middleton
2014 C conf
Optimal performance of modular and synchronized mechatronic systems.
ETFA
Sathyamyla Kanthabhabhajeya, Bengt Lennartson
2014 — conf
Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach.
CASE
Emile Glorieux, Fredrik Danielsson, Bo Svensson, Bengt Lennartson
2014 C conf
Patient coordination in emergency departments using an event-based information architecture.
ETFA
Kristofer Bengtsson, Bengt Lennartson
2014 J jnl
Supervisory Control for State-Vector Transition Models - A Unified Approach.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2014 — conf
Supervisory Control of Discrete-Event Systems via IC3.
Haifa Verification Conference
Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson
2014 — conf
Symbolic Interpretation and Execution of Extended Finite Automata.
WODES
Mohammad Reza Shoaei, Bengt Lennartson
2014 J jnl
Symbolic Representation and Computation of Timed Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2014 A* conf
Towards integrated OR/CP energy optimization for robot cells.
ICRA
Oskar Wigström, Bengt Lennartson
2014 — conf
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems.
WODES
Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile
2014 C conf
Verification of diagnosability based on compositional branching bisimulation.
ETFA
Mona Noori Hosseini, Bengt Lennartson
2013 C conf
A survey on efficient diagnosability tests for automata and bounded Petri nets.
ETFA
Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu
2013 C conf
Benders/gossip methods for heterogeneous multi-vehicle routing problems.
ETFA
Sarmad Riazi, Carla Seatzu, Oskar Wigström, Bengt Lennartson
2013 — conf
Concurrent design and control of automated material handling systems.
CASE
Maziar Mashaei, Bengt Lennartson
2013 J jnl
Editorial: Automation in green manufacturing.
IEEE Trans Autom. Sci. Eng.
Jingshan Li, James R. Morrison, Mike Tao Zhang, Masaru Nakano, Stephan R. Biller, Bengt Lennartson
2013 J jnl
Energy Reduction in a Pallet-Constrained Flow Shop Through On-Off Control of Idle Machines.
IEEE Trans Autom. Sci. Eng.
Maziar Mashaei, Bengt Lennartson
2013 — conf
Energy efficient and collision free motion of industrial robots using optimal control.
CASE
Staffan Björkenstam, Daniel Gleeson, Robert Bohlin, Johan S. Carlson, Bengt Lennartson
2013 C conf
Event- and time-based design of operation sequences with uncertainties in execution times.
ETFA
Nina Sundström, Bengt Lennartson
2013 J jnl
High-Level Scheduling of Energy Optimal Trajectories.
IEEE Trans Autom. Sci. Eng.
Oskar Wigström, Bengt Lennartson, Alberto Vergnano, Claes Breitholtz
2013 — conf
Integrated OR/CP optimization for Discrete Event Systems with nonlinear cost.
CDC
Oskar Wigström, Bengt Lennartson
2013 — conf
Operation behavior modeling using relation identification and visualization algorithms.
CASE
Kristofer Bengtsson, Bengt Lennartson
2013 — conf
Patient coordination in emergency departments using visualization of operation behavior.
CICARE
Kristofer Bengtsson, Bengt Lennartson
2013 J jnl
Sustainable and Robust Control of Cyclic Pallet Systems.
IEEE Trans Autom. Sci. Eng.
Maziar Mashaei, Bengt Lennartson
2013 A* conf
Sustainable production automation - energy optimization of robot cells.
ICRA
Oskar Wigström, Bengt Lennartson
2012 J jnl
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata.
IEEE Trans. Control. Syst. Technol.
Sajed Miremadi, Bengt Lennartson, Knut Åkesson
2012 — conf
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
CASE
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2012 C conf
A universal framework for lean design and control of automated material handling systems.
ETFA
Maziar Mashaei, Bengt Lennartson
2012 — conf
Abstractions for nonblocking supervisory control of Extended Finite Automata.
CASE
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
2012 C conf
Efficient geometrical simulation and virtual commissioning performed in stamping.
ETFA
Nima Khansari Nia, Fredrik Danielsson, Bengt Lennartson
2012 J jnl
Methods for Reliable Simulation-Based PLC Code Verification.
IEEE Trans. Ind. Informatics
Henrik Carlsson, Bo Svensson, Fredrik Danielsson, Bengt Lennartson
2012 J jnl
Model order reduction methods applied to a welding model.
J. Syst. Control. Eng.
Fredrik Sikström, Anna-Karin Christiansson, Bengt Lennartson
2012 J jnl
Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems.
IEEE Trans Autom. Sci. Eng.
Alberto Vergnano, Carl Thorstensson, Bengt Lennartson, Petter Falkman, Marcello Pellicciari, Francesco Leali, Stephan R. Biller
2012 J jnl
Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators.
IEEE Trans. Autom. Control.
Bengt Lennartson, Richard H. Middleton, Ivar Gustafsson
2012 — conf
Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods.
CDC
Bengt Lennartson, Richard H. Middleton
2012 — conf
Optimization of Hybrid Systems with Known Paths.
ADHS
Oskar Wigström, Nina Sundström, Bengt Lennartson
2012 C conf
Planning in assembly systems - A common modeling for products and resources.
ETFA
Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre
2012 — conf
Scheduling model for systems with complex alternative behaviour.
CASE
Oskar Wigström, Bengt Lennartson
2012 J jnl
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs.
IEEE Trans. Control. Syst. Technol.
Tord Alenljung, Bengt Lennartson, Mona Noori Hosseini
2012 J jnl
Sequence Planning Using Multiple and Coordinated Sequences of Operations.
IEEE Trans Autom. Sci. Eng.
Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
2012 C conf
State-vector transition model applied to supervisory control.
ETFA
Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
2012 — conf
Supervisory control of extended finite automata using transition projection.
CDC
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
2012 — conf
Sustainable and robust control of cyclic pallet systems.
CASE
Maziar Mashaei, Bengt Lennartson
2012 — conf
Symbolic computation of nonblocking control function for timed discrete event systems.
CDC
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
2011 J jnl
Analysis and evaluation of a general camera model.
Comput. Vis. Image Underst.
Anders Ryberg, Bengt Lennartson, Anna-Karin Christiansson, Mikael Ericsson, Lars Asplund
2011 — conf
BDD-based supervisory control on extended finite automata.
CASE
Sajed Miremadi, Bengt Lennartson, Knut Åkesson
2011 — conf
Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.
ICAART (1)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2011 — conf
Energy optimization of trajectories for high level scheduling.
CASE
Oskar Wigström, Bengt Lennartson
2011 — conf
Green and lean control of cyclic pallet systems.
CASE
Maziar Mashaei, Bengt Lennartson, Göran Abbestam
2011 C conf
Reduced-order synthesis of operation sequences.
ETFA
Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson
2011 C conf
Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm.
ETFA
Bo Svensson, Nima Khansari Nia, Fredrik Danielsson, Bengt Lennartson
2011 J jnl
Symbolic Computation of Reduced Guards in Supervisory Control.
IEEE Trans Autom. Sci. Eng.
Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2011 — conf
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory.
ICAART (Revised Selected Papers)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
2011 A* conf
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.
ICRA
Zhennan Fei, Knut Åkesson, Bengt Lennartson
2010 — conf
Automatic generation of controllers for collision-free flexible manufacturing systems.
CASE
Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi
2010 J jnl
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers.
IEEE Trans. Control. Syst. Technol.
Kristin Andersson, Johan Richardsson, Bengt Lennartson, Martin Fabian
2010 — conf
Embedding detailed robot energy optimization into high-level scheduling.
CASE
Alberto Vergnano, Carl Thorstensson, Bengt Lennartson, Petter Falkman, Marcello Pellicciari, Chengyin Yuan, Stephan R. Biller, Francesco Leali
2010 — conf
Optimal design of a decoupled multiple-loop pallet system for cyclic flexible manufacturing plants.
CASE
Maziar Mashaei, Bengt Lennartson, Fredrik Sannehed, Göran Abbestam
2010 — conf
Relations identification and visualization for sequence planning and automation design.
CASE
Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
2010 J jnl
Restarting Manufacturing Systems; Restart States and Restartability.
IEEE Trans Autom. Sci. Eng.
Kristin Andersson, Bengt Lennartson, Martin Fabian
2010 J jnl
Sequence Planning for Integrated Product, Process and Automation Design.
IEEE Trans Autom. Sci. Eng.
Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, Kristin Andersson, Martin Fabian, Petter Falkman, Knut Åkesson
2010 — conf
Supervisor computation and representation: A case study.
WODES
Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian
2009 — conf
Formal verification of PLC controlled systems using Sensor Graphs.
CASE
Tord Alenljung, Bengt Lennartson
2009 — conf
Generation of restart states for manufacturing systems with discarded workpieces.
CASE
Kristin Andersson, Bengt Lennartson, Petter Falkman, Martin Fabian
2009 J jnl
Nonconservative Robust Control: Optimized and Constrained Sensitivity Functions.
IEEE Trans. Control. Syst. Technol.
Carl-Magnus Fransson, Torsten Wik, Bengt Lennartson, Michael A. Saunders, Per Olof Gutman
2009 — conf
Operation-oriented specification for integrated control logic development.
CASE
Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan, Petter Falkman, Stephan R. Biller
2009 C conf
Optimal Number of Pallets for Reconfigurable Cyclic Manufacturing Plants.
ETFA
Maziar Mashaei, Bengt Lennartson, Fredrik Sannehed, Göran Abbestam
2009 C conf
Simulation based Optimization of a Sheet-metal Press Line.
ETFA
Bo Svensson, Fredrik Danielsson, Bengt Lennartson
2009 J jnl
Special Issue on WODES'08.
Discret. Event Dyn. Syst.
Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar
2008 J jnl
Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control.
IEEE Trans Autom. Sci. Eng.
Petter Falkman, Johan Nielsen, Bengt Lennartson, Astrid von Euler-Chelpin
2007 — conf
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems.
CASE
Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson
2007 — conf
Specification of Production Systems using PPN and Sequential Operation Charts.
CASE
Petter Falkman, Bengt Lennartson, Kristin Andersson
2006 — conf
Semantics of Sensor Activation Graphs.
CASE
Tord Alenljung, Bengt Lennartson
2006 — conf
Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells.
CASE
Kristin Andersson, Johan Richardsson, Bengt Lennartson, Martin Fabian
2005 — conf
Control architecture for flexible production systems.
CASE
Bengt Lennartson, Martin Fabian, Petter Falkman
2005 — conf
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams.
CDC/ECC
Arash Vahidi, Bengt Lennartson, Martin Fabian
2005 — conf
Implementation of full synchronous composition using IEC 61499 function blocks.
CASE
Goran Cengic, Knut Åkesson, Bengt Lennartson, Chengyin Yuan, Placid Mathew Ferreira
2005 — conf
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs.
CASE
Tord Alenljung, Bengt Lennartson
2005 — conf
Specification of a batch plant using process algebra and Petri nets.
CASE
Petter Falkman, Bengt Lennartson, Michael Tittus
2004 — conf
Low order sampled data H
CDC
Bengt Lennartson, Rick Middleton, Anna-Karin Christiansson, Tomas McKelvey
2004 — conf
Unified, periodic & sampled data H
CDC
Bengt Lennartson, Rick Middleton, Anna-Karin Christiansson
2003 — conf
Low order multicriteria
CDC
Carl-Magnus Fransson, Bengt Lennartson
2003 — conf
Low order sampled-data control.
CDC
Anna-Karin Christiansson, Bengt Lennartson
2002 C conf
Control analysis for non-axisymmetric resistive wall mode stabilization in the DIII-D tokamak.
ACC
Carl-Magnus Fransson, Bengt Lennartson, Dave Humphreys, Mike Walker, Torkil Jensen, Andrea Garofalo, Anders Bondeson
2002 C conf
Global convergence analysis for piecewise linear systems applied to limit cycles in a DC/DC converter.
ACC
Marcus Rubensson, Bengt Lennartson
2001 C conf
Combined process algebra and Petri nets for specification of resource booking problems.
ACC
Petter Falkman, Bengt Lennartson
2001 C conf
Efficient application of symbolic tools for resource booking problems.
ACC
Arash Vahidi, Bengt Lennartson, Dennis Arkeryd, Martin Fabian
2001 C conf
H
ACC
Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik, Per-Olof Gutman
2001 — conf
Multi criteria controller design for uncertain MIMO systems using global non-convex optimization.
CDC
Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik, Kenneth Holmström
2001 C conf
Robust PI and PID controllers including Smith predictor structure.
ACC
Birgitta Kristiansson, Bengt Lennartson
2001 — conf
Sampled-data H∞-control for hybrid systems.
ECC
Anna-Karin Christiansson, Bengt Lennartson, Hannu T. Toivonen
2001 C conf
Stabilization of hybrid systems using a min-projection strategy.
ACC
Stefan Pettersson, Bengt Lennartson
2000 — conf
Continuous, discrete and sampled data H
CDC
Anna-Karin Christiansson, Bengt Lennartson, Hannu T. Toivonen
2000 — conf
From PI to H
CDC
Birgitta Kristiansson, Bengt Lennartson, Carl-Magnus Fransson
2000 — conf
H
CDC
Olof Lindgärde, Bengt Lennartson
2000 J jnl
Perspectives and results on the stability and stabilizability of hybrid systems.
Proc. IEEE
Raymond A. DeCarlo, Michael S. Branicky, Stefan Pettersson, Bengt Lennartson
2000 C conf
Stability and robustness of hybrid systems using discrete-time Lyapunov techniques.
ACC
Marcus Rubensson, Bengt Lennartson
2000 — conf
Stability of Hybrid Systems Using LMIs - A Gear-Box Application.
HSCC
Stefan Pettersson, Bengt Lennartson
2000 — conf
Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques.
CDC
Marcus Rubensson, Bengt Lennartson
2000 J jnl
State-space solution to the periodic multirate H
IEEE Trans. Autom. Control.
Mats Sågfors, Hannu T. Toivonen, Bengt Lennartson
2000 — conf
ℋ
CDC
Carl-Magnus Fransson, Bengt Lennartson, Claes Breitholtz, Anders Bondeson, Yueqiang Liu
1999 — conf
Frequency analysis for mixed continuous-time and discrete-time periodic systems.
ECC
Olof Lindgärde, Bengt Lennartson
1999 J jnl
Hierarchical supervisory control for batch processes.
IEEE Trans. Control. Syst. Technol.
Michael Tittus, Bengt Lennartson
1999 — conf
Mixed continuous/discrete-time output feedback H∞ control - A unified approach.
ECC
Anna-Karin Christiansson, Bengt Lennartson, Hannu T. Toivonen
1998 J jnl
H
Autom.
Mats Sågfors, Hannu T. Toivonen, Bengt Lennartson
1998 B conf
Modeling, specification and controller synthesis for discrete event systems.
SMC
Bengt Lennartson, Michael Tittus, Martin Fabian
1997 J jnl
A Class of Non-Deterministic Specifications for Supervisory Control.
Eur. J. Control
Martin Fabian, Bengt Lennartson
1997 — conf
Controller Design of Hybrid Systems.
HART
Stefan Pettersson, Bengt Lennartson
1995 A* conf
Generic Resource Models and a Message-Passing Structure in an FMS Controller.
ICRA
P. Gullander, Martin Fabian, Sven-Arne Andréasson, Bengt Lennartson, Anders Adlemo
1995 J jnl
Performance modeling of automated manufacturing systems.
Autom.
Bo Egardt, Bengt Lennartson
1990 J jnl
On the choice of controller and sampling period for linear stochastic control.
Autom.
Bengt Lennartson
1989 J jnl
Singular perturbation methods in control: Analysis and design: Petar Kokotović, Hassan K. Khalil and John O'Reilly.
Autom.
Bengt Lennartson
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling