![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Bengt Lennartson
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j54]Mohammed Al-Tashi, Bengt Lennartson, Max Ortiz-Catalan, Fabian Just
:
Classroom-ready open-source educational exoskeleton for biomedical and control engineering. Autom. 72(5): 460-475 (2024) - [j53]Constantin Cronrath
, Bengt Lennartson
:
How Useful is Learning in Mitigating Mismatch Between Digital Twins and Physical Systems? IEEE Trans Autom. Sci. Eng. 21(1): 758-770 (2024) - 2023
- [j52]Frank C. Park
, Nukula Viswanadham, Ken Goldberg
, Michael Yu Wang
, Yu Sun
, MengChu Zhou
, Bengt Lennartson
, Fan-Tien Cheng
:
Peter Luh, the Father of Automation [In Memoriam]. IEEE Robotics Autom. Mag. 30(1): 112-113 (2023) - [j51]Mattias Hovgard
, Bengt Lennartson, Kristofer Bengtsson:
Energy reduction of stochastic time-constrained robot stations. Robotics Comput. Integr. Manuf. 81: 102511 (2023) - [j50]Frank C. Park
, Nukula Viswanadham, Ken Goldberg
, Michael Yu Wang
, Yu Sun
, MengChu Zhou
, Bengt Lennartson
, Fan-Tien Cheng
:
In Memoriam. IEEE Trans Autom. Sci. Eng. 20(2): 739-740 (2023) - [c125]Bengt Lennartson:
Efficient Safety Verification of Discrete Event Systems. CASE 2023: 1-6 - [c124]Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger:
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. ICRA 2023: 10560-10566 - [i4]Tom Philip Huck, Martin Kaiser, Constantin Cronrath, Bengt Lennartson, Torsten Kröger, Tamim Asfour:
Reinforcement Learning for Safety Testing: Lessons from A Mobile Robot Case Study. CoRR abs/2311.02907 (2023) - 2022
- [j49]Bengt Lennartson
, Mona Noori Hosseini, Christoforos N. Hadjicostis
:
State-Labeled Safety Analysis of Modular Observers for Opacity Verification. IEEE Control. Syst. Lett. 6: 2936-2941 (2022) - [j48]Daniel Gleeson
, Stefan Jakobsson, Raad Salman, Fredrik Ekstedt, Niklas Sandgren, Fredrik Edelvik, Johan S. Carlson, Bengt Lennartson
:
Generating Optimized Trajectories for Robotic Spray Painting. IEEE Trans Autom. Sci. Eng. 19(3): 1380-1391 (2022) - [j47]Fredrik Hagebring
, Ashfaq Farooqui
, Martin Fabian
, Bengt Lennartson
:
On Optimization of Automation Systems: Integrating Modular Learning and Optimization. IEEE Trans Autom. Sci. Eng. 19(3): 1662-1674 (2022) - [c123]Constantin Cronrath
, Tom Philip Huck, Christoph Ledermann, Torsten Kröger, Bengt Lennartson:
Relevant Safety Falsification by Automata Constrained Reinforcement Learning. CASE 2022: 2273-2280 - [c122]Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson:
Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines. ETFA 2022: 1-7 - [i3]Tom Philip Huck, Yuvaraj Selvaraj, Constantin Cronrath
, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger:
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. CoRR abs/2209.12560 (2022) - 2021
- [j46]Sarmad Riazi
, Bengt Lennartson
:
Using CP/SMT Solvers for Scheduling and Routing of AGVs. IEEE Trans Autom. Sci. Eng. 18(1): 218-229 (2021) - [j45]Sarmad Riazi
, Kristofer Bengtsson
, Bengt Lennartson
:
Energy Optimization of Large-Scale AGV Systems. IEEE Trans Autom. Sci. Eng. 18(2): 638-649 (2021) - [j44]Mattias Bennulf
, Fredrik Danielsson
, Bo Svensson
, Bengt Lennartson
:
Goal-Oriented Process Plans in a Multiagent System for Plug & Produce. IEEE Trans. Ind. Informatics 17(4): 2411-2421 (2021) - [c121]Bengt Lennartson:
Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction. CASE 2021: 557-562 - [c120]Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson:
Online Energy-Optimal Timing of Stochastic Robot Stations. ETFA 2021: 1-6 - [c119]Ludvig Svedlund, Anton Albo, Bengt Lennartson:
Co-simulation of Rigid Interactions Using Differential Algebraic Equations. ETFA 2021: 1-7 - 2020
- [c118]Constantin Cronrath
, Ludvig Ekström, Bengt Lennartson:
Formal Properties of the Digital Twin - Implications for Learning, optimization, and Control. CASE 2020: 679-684 - [c117]Bengt Lennartson, Xudong Liang, Mona Noori Hosseini:
Efficient Temporal Logic Verification by Incremental Abstraction. CASE 2020: 894-899 - [c116]Daniel Gleeson
, Stefan Jakobsson, Raad Salman
, Niklas Sandgren, Fredrik Edelvik
, Johan S. Carlson, Bengt Lennartson:
Robot spray painting trajectory optimization. CASE 2020: 1135-1140 - [c115]Ludvig Ekström, Kristofer Bengtsson, Bengt Lennartson:
Instability Problems in Co-Simulation of Modular Systems. ETFA 2020: 410-415
2010 – 2019
- 2019
- [j43]Fredrik Hagebring
, Bengt Lennartson:
Time-optimal control of large-scale systems of systems using compositional optimization. Discret. Event Dyn. Syst. 29(3): 411-443 (2019) - [j42]Nina Sundström, Oskar Wigström, Bengt Lennartson:
Robust and energy efficient trajectories for robots in a common workspace setting. IISE Trans. 51(7): 766-776 (2019) - [j41]Sarmad Riazi
, Oskar Wigström
, Kristofer Bengtsson, Bengt Lennartson:
A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems. IEEE Trans Autom. Sci. Eng. 16(1): 127-137 (2019) - [c114]Constantin Cronrath
, Abolfazl Rezaei Aderiani
, Bengt Lennartson:
Enhancing Digital Twins through Reinforcement Learning. CASE 2019: 293-298 - [c113]Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson:
Simulation Based Energy Optimization of Robot Stations by Motion Parameter Tuning. CASE 2019: 456-461 - [c112]Sarmad Riazi, Thomas Diding, Petter Falkman, Kristofer Bengtsson, Bengt Lennartson:
Scheduling and Routing of AGVs for Large-scale Flexible Manufacturing Systems. CASE 2019: 891-896 - [c111]Daniel Gleeson
, Christian Larsen, Johan S. Carlson, Bengt Lennartson:
Implementation of a Rapidly Executing Robot Controller. CASE 2019: 1341-1346 - [c110]Mona Noori Hosseini, Bengt Lennartson:
Incremental Abstraction for Diagnosability Verification of Modular Systems. ETFA 2019: 393-399 - [c109]Mattias Hovgard, Bengt Lennartson, Kristofer Bengtsson:
Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances. ETFA 2019: 1441-1444 - 2018
- [c108]Nina Sundström, Oskar Wigström, Bengt Lennartson:
Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting. CASE 2018: 77-83 - [c107]Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson:
Parallelization of a gossip algorithm for vehicle routing problems. CASE 2018: 92-97 - [c106]Fredrik Hagebring, Bengt Lennartson:
Compositional Optimization of Discrete Event Systems. CASE 2018: 849-856 - [i2]Mona Noori Hosseini, Bengt Lennartson, Christoforos N. Hadjicostis:
Incremental Observer Reduction Applied to Opacity Verification and Synthesis. CoRR abs/1812.08083 (2018) - 2017
- [j40]Rong Su
, Bengt Lennartson:
Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates. Autom. 79: 244-255 (2017) - [j39]Emile Glorieux
, Bo Svensson
, Fredrik Danielsson
, Bengt Lennartson:
Constructive cooperative coevolution for large-scale global optimisation. J. Heuristics 23(6): 449-469 (2017) - [j38]Alfred Theorin, Kristofer Bengtsson, Julien Provost, Michael Lieder
, Charlotta Johnsson, Thomas Lundholm, Bengt Lennartson:
An event-driven manufacturing information system architecture for Industry 4.0. Int. J. Prod. Res. 55(5): 1297-1311 (2017) - [j37]Sarmad Riazi
, Oskar Wigström
, Kristofer Bengtsson, Bengt Lennartson:
Energy and Peak Power Optimization of Time-Bounded Robot Trajectories. IEEE Trans Autom. Sci. Eng. 14(2): 646-657 (2017) - [j36]Nina Sundström
, Oskar Wigström
, Bengt Lennartson:
Conflict Between Energy, Stability, and Robustness in Production Schedules. IEEE Trans Autom. Sci. Eng. 14(2): 658-668 (2017) - [j35]Martin Fabian
, Bengt Lennartson, Knut Åkesson:
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering. IEEE Trans Autom. Sci. Eng. 14(2): 692-693 (2017) - [c105]Nina Sundström, Oskar Wigström, Bengt Lennartson:
Conflict between energy, stability and robustness in production schedules. CASE 2017: 86 - [c104]Oskar Wigström, Nikolce Murgovski, Sarmad Riazi, Bengt Lennartson:
Computationally efficient energy optimization of multiple robots. CASE 2017: 515-522 - [c103]Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson:
From trapezoid to polynomial: Next-generation energy-efficient robot trajectories. CASE 2017: 1191-1195 - [c102]Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson:
Energy and peak-power optimization of time-bounded robot trajectories. CASE 2017: 1301 - [c101]Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson, Bengt Lennartson:
Decomposition and distributed algorithms for home healthcare routing and scheduling problem. ETFA 2017: 1-7 - [c100]Koen Claessen, Jonatan Kilhamn, Laura Kovács
, Bengt Lennartson:
A Supervisory Control Algorithm Based on Property-Directed Reachability. Haifa Verification Conference 2017: 115-130 - [i1]Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson:
A Supervisory Control Algorithm Based on Property-Directed Reachability. CoRR abs/1711.06501 (2017) - 2016
- [j34]Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström, Sarmad Riazi:
Modeling and Optimization of Hybrid Systems for the Tweeting Factory. IEEE Trans Autom. Sci. Eng. 13(1): 191-205 (2016) - [j33]Sajed Miremadi, Bengt Lennartson:
Symbolic On-the-Fly Synthesis in Supervisory Control Theory. IEEE Trans. Control. Syst. Technol. 24(5): 1705-1716 (2016) - [c99]Sarmad Riazi, Kristofer Bengtsson, Rainer Bischoff, Andreas Aurnhammer, Oskar Wigström, Bengt Lennartson:
Energy and peak-power optimization of existing time-optimal robot trajectories. CASE 2016: 321-327 - [c98]Nina Sundström, Oskar Wigström, Sarmad Riazi, Bengt Lennartson:
On the conflict between energy, stability and robustness in production schedules. CASE 2016: 1263-1269 - [c97]Constantin Cronrath
, Bengt Lennartson, Marco Lemessi:
Energy reduction in paint shops through energy-sensitive on-off control. CASE 2016: 1282-1288 - [c96]Fredrik Hagebring, Oskar Wigström, Bengt Lennartson, Simon Ian Ware, Rong Su
:
Comparing MILP, CP, and A* for multiple stacker crane scheduling. WODES 2016: 63-70 - [c95]Nina Sundström, Bengt Lennartson:
Rescheduling affected operations - a purely predictive approach. WODES 2016: 71-78 - [c94]Mona Noori Hosseini, Bengt Lennartson:
Diagnosability verification using compositional branching bisimulation. WODES 2016: 245-250 - 2015
- [j32]Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic Supervisory Control of Timed Discrete Event Systems. IEEE Trans. Control. Syst. Technol. 23(2): 584-597 (2015) - [c93]Bengt Lennartson, Oskar Wigström, Sarmad Riazi, Kristofer Bengtsson:
Modeling and Optimization of Hybrid Systems. ADHS 2015: 351-357 - [c92]Fredrik Sikström
, Anna-Karin Christiansson, Bengt Lennartson:
Model based feedback control of gas tungsten arc welding - An experimental study. CASE 2015: 411-416 - [c91]Daniel Gleeson
, Staffan Bjorkenstam, Robert Bohlin, Johan S. Carlson, Bengt Lennartson:
Optimizing robot trajectories for automatic robot code generation. CASE 2015: 495-500 - [c90]Staffan Bjorkenstam, Johan S. Carlson, Bengt Lennartson:
Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning. CASE 2015: 769-774 - [c89]Marcello Pellicciari, A. Avotins, Kristofer Bengtsson, Giovanni Berselli
, Niki Bey, Bengt Lennartson, Davis Meike:
AREUS - Innovative hardware and software for sustainable industrial robotics. CASE 2015: 1325-1332 - [c88]Sarmad Riazi, Kristofer Bengtsson, Oskar Wigström, Emma Vidarsson, Bengt Lennartson:
Energy optimization of multi-robot systems. CASE 2015: 1345-1350 - [c87]Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström:
Optimization of hybrid Petri nets with shared variables. CASE 2015: 1395-1396 - [c86]Nina Sundström, Bengt Lennartson:
From time-optimal schedule to robust event-based control. ETFA 2015: 1-4 - [c85]Emile Glorieux
, Bo Svensson
, Fredrik Danielsson
, Bengt Lennartson:
Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation. SSCI 2015: 1703-1710 - 2014
- [j31]Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic Representation and Computation of Timed Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 11(1): 6-19 (2014) - [j30]Bengt Lennartson, Francesco Basile
, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson:
Supervisory Control for State-Vector Transition Models - A Unified Approach. IEEE Trans Autom. Sci. Eng. 11(1): 33-47 (2014) - [j29]Kristofer Bengtsson, Bengt Lennartson:
Flexible Specification of Operation Behavior Using Multiple Projections. IEEE Trans Autom. Sci. Eng. 11(2): 504-515 (2014) - [j28]Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. IEEE Trans. Control. Syst. Technol. 22(6): 2368-2375 (2014) - [c84]Emile Glorieux
, Fredrik Danielsson
, Bo Svensson
, Bengt Lennartson:
Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach. CASE 2014: 322-327 - [c83]Maziar Mashaei, Bengt Lennartson:
Energy reduction in cyclic flow shop plants through on-off control of robots. CASE 2014: 492-497 - [c82]Bengt Lennartson, Richard H. Middleton
:
Optimal anti-aliasing filter based on multi criteria sampled-data ℋ∞ control. CDC 2014: 4348-4354 - [c81]Kristofer Bengtsson, Bengt Lennartson:
Patient coordination in emergency departments using an event-based information architecture. ETFA 2014: 1-6 - [c80]Mona Noori Hosseini, Bengt Lennartson:
Verification of diagnosability based on compositional branching bisimulation. ETFA 2014: 1-6 - [c79]Sathyamyla Kanthabhabhajeya, Bengt Lennartson:
Optimal performance of modular and synchronized mechatronic systems. ETFA 2014: 1-7 - [c78]Mohammad Reza Shoaei, Laura Kovács
, Bengt Lennartson:
Supervisory Control of Discrete-Event Systems via IC3. Haifa Verification Conference 2014: 252-266 - [c77]Oskar Wigström, Bengt Lennartson:
Towards integrated OR/CP energy optimization for robot cells. ICRA 2014: 1674-1680 - [c76]Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile
:
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. WODES 2014: 86-92 - [c75]Mohammad Reza Shoaei, Bengt Lennartson:
Symbolic Interpretation and Execution of Extended Finite Automata. WODES 2014: 228-234 - [c74]Oskar Wigström, Bengt Lennartson:
An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems. WODES 2014: 485-491 - [e1]Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson:
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. International Federation of Automatic Control 2014, ISBN 978-3-902823-61-8 [contents] - 2013
- [j27]Jingshan Li, James R. Morrison, Mike Tao Zhang, Masaru Nakano, Stephan Biller
, Bengt Lennartson:
Editorial: Automation in green manufacturing. IEEE Trans Autom. Sci. Eng. 10(1): 1-4 (2013) - [j26]Maziar Mashaei, Bengt Lennartson:
Energy Reduction in a Pallet-Constrained Flow Shop Through On-Off Control of Idle Machines. IEEE Trans Autom. Sci. Eng. 10(1): 45-56 (2013) - [j25]Oskar Wigström, Bengt Lennartson, Alberto Vergnano
, Claes Breitholtz:
High-Level Scheduling of Energy Optimal Trajectories. IEEE Trans Autom. Sci. Eng. 10(1): 57-64 (2013) - [j24]Maziar Mashaei, Bengt Lennartson:
Sustainable and Robust Control of Cyclic Pallet Systems. IEEE Trans Autom. Sci. Eng. 10(4): 916-927 (2013) - [c73]Maziar Mashaei, Bengt Lennartson:
Concurrent design and control of automated material handling systems. CASE 2013: 292-299 - [c72]Kristofer Bengtsson, Bengt Lennartson:
Operation behavior modeling using relation identification and visualization algorithms. CASE 2013: 368-373 - [c71]Staffan Bjorkenstam, Daniel Gleeson
, Robert Bohlin, Johan S. Carlson, Bengt Lennartson:
Energy efficient and collision free motion of industrial robots using optimal control. CASE 2013: 510-515 - [c70]Oskar Wigström, Bengt Lennartson:
Integrated OR/CP optimization for Discrete Event Systems with nonlinear cost. CDC 2013: 7627-7633 - [c69]Kristofer Bengtsson, Bengt Lennartson:
Patient coordination in emergency departments using visualization of operation behavior. CICARE 2013: 58-63 - [c68]Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu:
A survey on efficient diagnosability tests for automata and bounded Petri nets. ETFA 2013: 1-6 - [c67]Sarmad Riazi, Carla Seatzu, Oskar Wigström, Bengt Lennartson:
Benders/gossip methods for heterogeneous multi-vehicle routing problems. ETFA 2013: 1-6 - [c66]Nina Sundström, Bengt Lennartson:
Event- and time-based design of operation sequences with uncertainties in execution times. ETFA 2013: 1-8 - [c65]Oskar Wigström, Bengt Lennartson:
Sustainable production automation - energy optimization of robot cells. ICRA 2013: 252-257 - 2012
- [j23]Fredrik Sikström
, Anna-Karin Christiansson
, Bengt Lennartson:
Model order reduction methods applied to a welding model. J. Syst. Control. Eng. 226(7): 972-984 (2012) - [j22]Bengt Lennartson, Richard H. Middleton
, Ivar Gustafsson:
Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators. IEEE Trans. Autom. Control. 57(11): 2874-2879 (2012) - [j21]Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman:
Sequence Planning Using Multiple and Coordinated Sequences of Operations. IEEE Trans Autom. Sci. Eng. 9(2): 308-319 (2012) - [j20]Alberto Vergnano
, Carl Thorstensson, Bengt Lennartson, Petter Falkman, Marcello Pellicciari
, Francesco Leali
, Stephan Biller
:
Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems. IEEE Trans Autom. Sci. Eng. 9(2): 423-428 (2012) - [j19]Sajed Miremadi, Bengt Lennartson, Knut Åkesson:
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata. IEEE Trans. Control. Syst. Technol. 20(6): 1421-1435 (2012) - [j18]Tord Alenljung, Bengt Lennartson, Mona Noori Hosseini:
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. IEEE Trans. Control. Syst. Technol. 20(6): 1506-1521 (2012) - [j17]Henrik Carlsson, Bo Svensson
, Fredrik Danielsson
, Bengt Lennartson:
Methods for Reliable Simulation-Based PLC Code Verification. IEEE Trans. Ind. Informatics 8(2): 267-278 (2012) - [c64]Oskar Wigström, Nina Sundström, Bengt Lennartson:
Optimization of Hybrid Systems with Known Paths. ADHS 2012: 39-45 - [c63]Mohammad Reza Shoaei, Lei Feng
, Bengt Lennartson:
Abstractions for nonblocking supervisory control of Extended Finite Automata. CASE 2012: 364-370 - [c62]Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables. CASE 2012: 502-507 - [c61]Oskar Wigström, Bengt Lennartson:
Scheduling model for systems with complex alternative behaviour. CASE 2012: 587-593 - [c60]Maziar Mashaei, Bengt Lennartson:
Sustainable and robust control of cyclic pallet systems. CASE 2012: 1184-1191 - [c59]Bengt Lennartson, Richard H. Middleton
:
Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods. CDC 2012: 4247-4252 - [c58]Mohammad Reza Shoaei, Lei Feng
, Bengt Lennartson:
Supervisory control of extended finite automata using transition projection. CDC 2012: 7259-7266 - [c57]Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic computation of nonblocking control function for timed discrete event systems. CDC 2012: 7352-7359 - [c56]Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson:
State-vector transition model applied to supervisory control. ETFA 2012: 1-8 - [c55]Maziar Mashaei, Bengt Lennartson:
A universal framework for lean design and control of automated material handling systems. ETFA 2012: 1-8 - [c54]Nima Khansari Nia, Fredrik Danielsson
, Bengt Lennartson:
Efficient geometrical simulation and virtual commissioning performed in stamping. ETFA 2012: 1-8 - [c53]Julien Provost, Bengt Lennartson, Martin Fabian, Åsa Fasth, Johan Stahre
:
Planning in assembly systems - A common modeling for products and resources. ETFA 2012: 1-8 - 2011
- [j16]Anders Ryberg, Bengt Lennartson, Anna-Karin Christiansson
, Mikael Ericsson
, Lars Asplund:
Analysis and evaluation of a general camera model. Comput. Vis. Image Underst. 115(11): 1503-1515 (2011) - [j15]Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
Symbolic Computation of Reduced Guards in Supervisory Control. IEEE Trans Autom. Sci. Eng. 8(4): 754-765 (2011) - [c52]Sajed Miremadi, Bengt Lennartson, Knut Åkesson:
BDD-based supervisory control on extended finite automata. CASE 2011: 25-31 - [c51]Maziar Mashaei, Bengt Lennartson, Göran Abbestam:
Green and lean control of cyclic pallet systems. CASE 2011: 642-647 - [c50]Oskar Wigström, Bengt Lennartson:
Energy optimization of trajectories for high level scheduling. CASE 2011: 654-659 - [c49]Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson:
Reduced-order synthesis of operation sequences. ETFA 2011: 1-8 - [c48]Bo Svensson
, Nima Khansari Nia, Fredrik Danielsson
, Bengt Lennartson:
Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm. ETFA 2011: 1-8 - [c47]Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. ICAART (1) 2011: 106-115 - [c46]Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. ICAART (Revised Selected Papers) 2011: 161-175 - [c45]Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. ICRA 2011: 4364-4369 - 2010
- [j14]Kristin Andersson, Bengt Lennartson, Martin Fabian:
Restarting Manufacturing Systems; Restart States and Restartability. IEEE Trans Autom. Sci. Eng. 7(3): 486-499 (2010) - [j13]Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, Kristin Andersson, Martin Fabian, Petter Falkman, Knut Åkesson:
Sequence Planning for Integrated Product, Process and Automation Design. IEEE Trans Autom. Sci. Eng. 7(4): 791-802 (2010) - [j12]Kristin Andersson, Johan Richardsson, Bengt Lennartson, Martin Fabian:
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers. IEEE Trans. Control. Syst. Technol. 18(2): 414-429 (2010) - [c44]Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi:
Automatic generation of controllers for collision-free flexible manufacturing systems. CASE 2010: 368-373 - [c43]Alberto Vergnano
, Carl Thorstensson, Bengt Lennartson, Petter Falkman, Marcello Pellicciari
, Chengyin Yuan, Stephan Biller
, Francesco Leali
:
Embedding detailed robot energy optimization into high-level scheduling. CASE 2010: 386-392 - [c42]Maziar Mashaei, Bengt Lennartson, Fredrik Sannehed, Göran Abbestam:
Optimal design of a decoupled multiple-loop pallet system for cyclic flexible manufacturing plants. CASE 2010: 433-438 - [c41]Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman:
Relations identification and visualization for sequence planning and automation design. CASE 2010: 841-848 - [c40]Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian:
Supervisor computation and representation: A case study. WODES 2010: 275-280
2000 – 2009
- 2009
- [j11]Bengt Lennartson, Martin Fabian, Alessandro Giua
, Ratnesh Kumar:
Special Issue on WODES'08. Discret. Event Dyn. Syst. 19(4): 449-450 (2009) - [j10]Carl-Magnus Fransson, Torsten Wik
, Bengt Lennartson, Michael A. Saunders
, Per Olof Gutman:
Nonconservative Robust Control: Optimized and Constrained Sensitivity Functions. IEEE Trans. Control. Syst. Technol. 17(2): 298-308 (2009) - [c39]Tord Alenljung, Bengt Lennartson:
Formal verification of PLC controlled systems using Sensor Graphs. CASE 2009: 164-170 - [c38]Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan, Petter Falkman, Stephan Biller
:
Operation-oriented specification for integrated control logic development. CASE 2009: 183-190 - [c37]Kristin Andersson, Bengt Lennartson, Petter Falkman, Martin Fabian:
Generation of restart states for manufacturing systems with discarded workpieces. CASE 2009: 191-196 - [c36]Maziar Mashaei, Bengt Lennartson, Fredrik Sannehed, Göran Abbestam:
Optimal Number of Pallets for Reconfigurable Cyclic Manufacturing Plants. ETFA 2009: 1-8 - [c35]Bo Svensson
, Fredrik Danielsson
, Bengt Lennartson:
Simulation based Optimization of a Sheet-metal Press Line. ETFA 2009: 1-8 - 2008
- [j9]Petter Falkman, Johan Nielsen, Bengt Lennartson, Astrid von Euler-Chelpin:
Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control. IEEE Trans Autom. Sci. Eng. 5(1): 113-126 (2008) - 2007
- [c34]Petter Falkman, Bengt Lennartson, Kristin Andersson:
Specification of Production Systems using PPN and Sequential Operation Charts. CASE 2007: 20-25 - [c33]Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson:
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. CASE 2007: 207-212 - 2006
- [c32]Kristin Andersson, Johan Richardsson, Bengt Lennartson, Martin Fabian:
Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells. CASE 2006: 325-330 - [c31]Tord Alenljung, Bengt Lennartson:
Semantics of Sensor Activation Graphs. CASE 2006: 419-424 - 2005
- [c30]Tord Alenljung, Bengt Lennartson:
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs. CASE 2005: 261-266 - [c29]Goran Cengic, Knut Åkesson, Bengt Lennartson, Chengyin Yuan, Placid Mathew Ferreira:
Implementation of full synchronous composition using IEC 61499 function blocks. CASE 2005: 267-272 - [c28]Bengt Lennartson, Martin Fabian, Petter Falkman:
Control architecture for flexible production systems. CASE 2005: 307-312 - [c27]Petter Falkman, Bengt Lennartson, Michael Tittus:
Specification of a batch plant using process algebra and Petri nets. CASE 2005: 339-344 - [c26]Arash Vahidi, Bengt Lennartson, Martin Fabian:
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams. CDC/ECC 2005: 2751-2756 - 2004
- [c25]Bengt Lennartson, Rick Middleton, Anna-Karin Christiansson:
Unified, periodic & sampled data H∞ control using the delta operator. CDC 2004: 2364-2369 - [c24]Bengt Lennartson, Rick Middleton
, Anna-Karin Christiansson
, Tomas McKelvey
:
Low order sampled data H∞ control using the delta operator and LMIs. CDC 2004: 4479-4484 - 2003
- [c23]Anna-Karin Christiansson, Bengt Lennartson:
Low order sampled-data control. CDC 2003: 2308-2313 - [c22]Carl-Magnus Fransson, Bengt Lennartson:
Low order multicriteria H∞ design via bilinear matrix inequalities. CDC 2003: 5161-5167 - 2002
- [c21]Marcus Rubensson, Bengt Lennartson:
Global convergence analysis for piecewise linear systems applied to limit cycles in a DC/DC converter. ACC 2002: 1272-1277 - [c20]Carl-Magnus Fransson, Bengt Lennartson, Dave Humphreys, Mike Walker, Torkil Jensen, Andrea Garofalo, Anders Bondeson:
Control analysis for non-axisymmetric resistive wall mode stabilization in the DIII-D tokamak. ACC 2002: 3790-3795 - 2001
- [c19]Stefan Pettersson, Bengt Lennartson:
Stabilization of hybrid systems using a min-projection strategy. ACC 2001: 223-228 - [c18]Birgitta Kristiansson, Bengt Lennartson:
Robust PI and PID controllers including Smith predictor structure. ACC 2001: 2197-2202 - [c17]Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik, Per-Olof Gutman:
H∞ control for uncertain plants using Horowitz bounds. ACC 2001: 4103-4107 - [c16]Arash Vahidi, Bengt Lennartson, Dennis Arkeryd, Martin Fabian:
Efficient application of symbolic tools for resource booking problems. ACC 2001: 4937-4942 - [c15]Petter Falkman, Bengt Lennartson:
Combined process algebra and Petri nets for specification of resource booking problems. ACC 2001: 4949-4955 - [c14]Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik, Kenneth Holmström:
Multi criteria controller design for uncertain MIMO systems using global non-convex optimization. CDC 2001: 3976-3981 - [c13]Anna-Karin Christiansson, Bengt Lennartson, Hannu T. Toivonen:
Sampled-data H∞-control for hybrid systems. ECC 2001: 3282-3287 - 2000
- [j8]Raymond A. DeCarlo, Michael S. Branicky, Stefan Pettersson, Bengt Lennartson:
Perspectives and results on the stability and stabilizability of hybrid systems. Proc. IEEE 88(7): 1069-1082 (2000) - [j7]Mats Sågfors, Hannu T. Toivonen, Bengt Lennartson:
State-space solution to the periodic multirate H∞ control problem: a lifting approach. IEEE Trans. Autom. Control. 45(12): 2345-2350 (2000) - [c12]Marcus Rubensson, Bengt Lennartson:
Stability and robustness of hybrid systems using discrete-time Lyapunov techniques. ACC 2000: 210-214 - [c11]Marcus Rubensson, Bengt Lennartson:
Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques. CDC 2000: 1397-1402 - [c10]Anna-Karin Christiansson, Bengt Lennartson, Hannu T. Toivonen:
Continuous, discrete and sampled data H∞ control-a unified framework. CDC 2000: 1936-1941 - [c9]Birgitta Kristiansson, Bengt Lennartson, Carl-Magnus Fransson:
From PI to H∞ control in a unified framework. CDC 2000: 2740-2745 - [c8]Olof Lindgärde, Bengt Lennartson:
H∞-control and frequency analysis for systems with mixed continuous-time and discrete-time measurements. CDC 2000: 3206-3211 - [c7]Carl-Magnus Fransson, Bengt Lennartson, Claes Breitholtz, Anders Bondeson, Yueqiang Liu:
ℋ∞ control of unstable, uncertain systems using Horowitz bounds. CDC 2000: 3218-3223 - [c6]Stefan Pettersson, Bengt Lennartson:
Stability of Hybrid Systems Using LMIs - A Gear-Box Application. HSCC 2000: 381-395
1990 – 1999
- 1999
- [j6]Michael Tittus, Bengt Lennartson:
Hierarchical supervisory control for batch processes. IEEE Trans. Control. Syst. Technol. 7(5): 542-554 (1999) - [c5]Olof Lindgärde, Bengt Lennartson:
Frequency analysis for mixed continuous-time and discrete-time periodic systems. ECC 1999: 4071-4076 - [c4]Anna-Karin Christiansson, Bengt Lennartson, Hannu T. Toivonen:
Mixed continuous/discrete-time output feedback H∞ control - A unified approach. ECC 1999: 4077-4082 - 1998
- [j5]Mats Sågfors, Hannu T. Toivonen, Bengt Lennartson:
H∞ Control of Multirate Sampled-Data Systems: A State-Space Approach. Autom. 34(4): 415-428 (1998) - [c3]Bengt Lennartson, Michael Tittus, Martin Fabian:
Modeling, specification and controller synthesis for discrete event systems. SMC 1998: 698-703 - 1997
- [j4]Martin Fabian, Bengt Lennartson:
A Class of Non-Deterministic Specifications for Supervisory Control. Eur. J. Control 3(1): 81-90 (1997) - [c2]Stefan Pettersson, Bengt Lennartson:
Controller Design of Hybrid Systems. HART 1997: 240-254 - 1995
- [j3]Bo Egardt, Bengt Lennartson:
Performance modeling of automated manufacturing systems. Autom. 31(2): 354-356 (1995) - [c1]P. Gullander, Martin Fabian, Sven-Arne Andréasson, Bengt Lennartson, Anders Adlemo:
Generic Resource Models and a Message-Passing Structure in an FMS Controller. ICRA 1995: 1447-1454 - 1990
- [j2]Bengt Lennartson:
On the choice of controller and sampling period for linear stochastic control. Autom. 26(3): 573-578 (1990)
1980 – 1989
- 1989
- [j1]Bengt Lennartson:
Singular perturbation methods in control: Analysis and design: Petar Kokotović, Hassan K. Khalil and John O'Reilly. Autom. 25(6): 953-954 (1989)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint