Bengt Lennartson
Professor vid
Chalmers, Elektroteknik, System- och reglerteknik
Bengt Lennartson är avdelningschef för System- och reglerteknik, och professor i automation sedan 1999. Han är IEEE Fellow för sina bidrag kring hybrida och händelsediskreta system för automation och uthållig produktion. Han är (med)författare till 280+ internationella vetenskapliga publikationer. För närvarande är en stor del av forskningen fokuserad på uthållig produktion, inkluderande energiminimering av robotstationer. Samarbete med industrin inkluderar Volvo, Daimler, Kuka, och TetraPak.
Källa: chalmers.se
Visar 339 publikationer
2019
A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson et al
IEEE Transactions on Automation Science and Engineering. Vol. 16 (1), p. 127-137
Artikel i vetenskaplig tidskrift
2018
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Mona Noori-Hosseini, Bengt Lennartson, Christoforos Hadjicostis
IFAC-PapersOnLine. Vol. 51 (7), p. 434-441
Paper i proceeding
2018
Visible Bisimulation Equivalence - A Unified Abstraction for Temporal Logic Verification
Bengt Lennartson, Mona Noori-Hosseini
IFAC-PapersOnLine. Vol. 51 (7), p. 400-407
Paper i proceeding
2018
Welcome Message from General and Program Chairs
B. Vogel-Heuser, Bengt Lennartson, Georg Frey et al
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2018
Reinforcement learning in real-time geometry assurance
Emilio Jorge, Lucas Brynte, Constantin Cronrath et al
Procedia CIRP. Vol. 72, p. 1073-1078
Paper i proceeding
2018
Multi-criteria Optimization of PD Controllers for Plants including Integral Action
Bengt Lennartson
IFAC-PapersOnLine. Vol. 51 (4), p. 286-291
Artikel i vetenskaplig tidskrift
2018
Parallelization of a gossip algorithm for vehicle routing problems
Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson
IEEE International Conference on Automation Science and Engineering. Vol. 2018-August, p. 92-97
Paper i proceeding
2018
Productivity/energy optimisation of trajectories and coordination for cyclic multi-robot systems
E. Glorieux, Sarmad Riazi, Bengt Lennartson
Robotics and Computer-Integrated Manufacturing. Vol. 49, p. 152-161
Artikel i vetenskaplig tidskrift
2018
Compositional Optimization of Discrete Event Systems
Fredrik Hagebring, Bengt Lennartson
IEEE International Conference on Automation Science and Engineering. Vol. 2018-August, p. 849-856
Paper i proceeding
2018
Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting
Nina Sundström, Oskar Wigström, Bengt Lennartson
IEEE International Conference on Automation Science and Engineering. Vol. 2018-August, p. 77-83
Paper i proceeding
2018
Inverse Dynamics for Discrete Geometric Mechanics of Multibody Systems with Application to Direct Optimal Control
Staffan C Björkenstam, Sigrid Leyendecker, Joachim Linn et al
Journal of Computational and Nonlinear Dynamics. Vol. 13 (10)
Artikel i vetenskaplig tidskrift
2017
Multi-objective constructive cooperative coevolutionary optimization of robotic press-line tending
E. Glorieux, B. Svensson, F. Danielsson et al
Engineering Optimization. Vol. 49 (10), p. 1685-1703
Artikel i vetenskaplig tidskrift
2017
Constructive cooperative coevolution for large-scale global optimisation
E. Glorieux, B. Svensson, F. Danielsson et al
Journal of Heuristics. Vol. 23 (6), p. 449-469
Artikel i vetenskaplig tidskrift
2017
Conflict between Energy, Stability and Robustness in Production Schedules
Nina Sundström, Oskar Wigström, Bengt Lennartson
2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), p. 86-86
Paper i proceeding
2017
Energy and Peak Power Optimization of Time-Bounded Robot Trajectories
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson et al
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 646-657
Artikel i vetenskaplig tidskrift
2017
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering
Martin Fabian, Bengt Lennartson, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 692-693
Artikel i övriga tidskrifter
2017
From trapezoid to polynomial: Next-generation energy-efficient robot trajectories
Sarmad Riazi, Kristofer Bengtsson, Bengt Lennartson
Automation Science and Engineering (CASE), 2017 13th IEEE Conference on
Paper i proceeding
2017
Energy and Peak-power Optimization of Time-bounded Robot Trajectories
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson et al
2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), p. 1301-1301
Paper i proceeding
2017
Conflict Between Energy, Stability, and Robustness in Production Schedules
Nina Sundström, Oskar Wigström, Bengt Lennartson
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 658-668
Artikel i vetenskaplig tidskrift
2017
Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
R. Su, Bengt Lennartson
Automatica. Vol. 79, p. 244-255
Artikel i vetenskaplig tidskrift
2017
Decomposition and distributed algorithms for home healthcare routing and scheduling problem
Sarmad Riazi, Oskar Wigström, Kristofer Bengtsson et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, p. 1-7
Paper i proceeding
2017
An event-driven manufacturing information system architecture for Industry 4.0
A. Theorin, Kristofer Bengtsson, Julien Provost et al
International Journal of Production Research. Vol. 55 (5), p. 1297-1311
Artikel i vetenskaplig tidskrift
2017
Computationally efficient energy optimization of multiple robots
Oskar Wigström, Nikolce Murgovski, Sarmad Riazi et al
Proc. 13th IEEE Conference on Automation Science and Engineering (CASE 2017)
Paper i proceeding
2017
A supervisory control algorithm based on property-directed reachability
Koen Lindström Claessen, Jonatan Kilhamn, Laura Kovacs et al
Lecture Notes in Computer Science. Vol. 10629 LNCS, p. 115-130
Paper i proceeding
2016
Diagnosability Verification Using Compositional Branching Bisimulation
Mona Noori-Hosseini, Bengt Lennartson
Rapport
2016
Enhancing digital human motion planning of assembly tasks through dynamics and optimal control
Staffan C Björkenstam, N. Delfs, Johan Carlson et al
Procedia CIRP. Vol. 44, p. 20-25
Paper i proceeding
2016
Comparing MILP, CP, and A* for Multiple Stacker Crane Scheduling
Fredrik Hagebring, Oskar Wigström, Bengt Lennartson et al
Proc. 13th International Workshop on Discrete Event Systems (WODES’16), Xi’an, China, May, p. 63-70
Paper i proceeding
2016
Energy reduction in paint shops through energy-sensitive on-off control
Constantin Christian Justin Cronrath, Bengt Lennartson, M. Lemessi
Proc. 12th IEEE Conference on Automation Science and Engineering (CASE 2016), Fort Worth, Texas, August, p. 1282-1288
Paper i proceeding
2016
Modeling and Optimization of Hybrid Systems for the Tweeting Factory
Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström et al
IEEE Transactions on Automation Science and Engineering. Vol. 13 (1), p. 191-205
Artikel i vetenskaplig tidskrift
2016
Energy and peak-power optimization of existing time-optimal robot trajectories
Sarmad Riazi, Kristofer Bengtsson, R. Bischoff et al
Proc. 12th IEEE Conference on Automation Science and Engineering (CASE 2016), Fort Worth, Texas, August, p. 321-327
Paper i proceeding
2016
Symbolic On-the-Fly Synthesis in Supervisory Control Theory
Sajed Miremadi, Bengt Lennartson
IEEE Transactions on Control Systems Technology. Vol. 24 (5), p. 1705-1716
Artikel i vetenskaplig tidskrift
2016
Rescheduling Affected Operations - a Purely Predictive Approach
Nina Sundström, Bengt Lennartson
Proc. 13th International Workshop on Discrete Event Systems (WODES’16), Xi’an, China, May, p. 71-78
Paper i proceeding
2016
Towards Energy Optimization using Trajectory Smoothing and Automatic Code Generation for Robotic Assembly
Daniel Gleeson, Staffan C Björkenstam, R. Bohlin et al
Procedia CIRP. Vol. 44, p. 341-346
Paper i proceeding
2016
Diagnosability Verification Using Compositional Branching Bisimulation
Mona Noori-Hosseini, Bengt Lennartson
13th International Workshop on Discrete Event Systems, Xi'an, China, May 30 - June 1, p. 245-250
Paper i proceeding
2016
On the conflict between energy, stability and robustness in production schedules
Nina Sundström, Oskar Wigström, Sarmad Riazi et al
Proc. 12th IEEE Conference on Automation Science and Engineering (CASE 2016), Fort Worth, Texas, August, p. 1263-1269
Paper i proceeding
2015
Modeling and Optimization of Hybrid Systems
Bengt Lennartson, Oskar Wigström, Sarmad Riazi et al
Proc. 5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS’15), Atlanta, October 14-16, IFAC-PapersOnLine. Vol. 48 (27), p. 351-357
Paper i proceeding
2015
Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables
Mohammad Reza Shoaei, Feng Lei, Bengt Lennartson
Rapport
2015
Model based feedback control of gas tungsten arc welding - An experimental study
Fredrik Sikström, Anna-Karin Christiansson, Bengt Lennartson
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 411-416
Paper i proceeding
2015
Optimizing robot trajectories for automatic robot code generation
Daniel Gleeson, Staffan C Björkenstam, R. Bohlin et al
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 495-500
Paper i proceeding
2015
Simulation-based time and jerk optimisation for robotic press tending
E. Glorieux, B. Svensson, F. Danielsson et al
29th Annual European Simulation and Modelling Conference 2015, ESM 2015, Leicester, United Kingdom, 26-28 October 2015, p. 377-384
Paper i proceeding
2015
From time-optimal schedule to robust event-based control
Nina Sundström, Bengt Lennartson
20th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2015, Luxembourg, 8-11 September 2015
Paper i proceeding
2015
An Event-Driven Manufacturing Information System Architecture
A. Theorin, Kristofer Bengtsson, Julien Provost et al
IFAC-PapersOnLine. Vol. 48 (3), p. 547-554
Paper i proceeding
2015
Exploiting sparsity in the discrete mechanics and optimal control method with application to human motion planning
Staffan C Björkenstam, Johan Carlson, Bengt Lennartson
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 769-774
Paper i proceeding
2015
Constructive cooperative coevolutionary optimisation for interacting production stations
E. Glorieux, F. Danielsson, B. Svensson et al
International Journal of Advanced Manufacturing Technology. Vol. 80 (1-4), p. 673-688
Artikel i vetenskaplig tidskrift
2015
AREUS — Innovative hardware and software for sustainable industrial robotics
M. Pellicciari, Ansis Avotins, Kristofer Bengtsson et al
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 1325-1332
Paper i proceeding
2015
Welcome message from general and program chairs
Bengt Lennartson, Martin Fabian
IEEE International Conference on Automation Science and Engineering. Vol. 2015-October
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2015
Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation
E. Glorieux, B. Svensson, F. Danielsson et al
2015 Ieee Symposium Series on Computational Intelligence (Ieee Ssci), p. 1703-1710
Paper i proceeding
2015
Energy Optimization of Multi-robot Systems
Sarmad Riazi, Kristofer Bengtsson, Oskar Wigström et al
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 1345-1350
Paper i proceeding
2015
Symbolic Supervisory Control of Timed Discrete Event Systems
Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 23 (2), p. 584-597
Artikel i vetenskaplig tidskrift
2015
Optimal anti-aliasing filter based on multi criteria sampled-data ∞ control
Bengt Lennartson, Richard Middleton
Proceedings of the 53rd IEEE Annual Conference on Decision and Control, CDC 2014, Los Angeles, United States, 15-17 December 2014, p. 4348-4354
Paper i proceeding
2015
Optimization of hybrid Petri nets with shared variables
Bengt Lennartson, Kristofer Bengtsson, Oskar Wigström
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 1395-1396
Paper i proceeding
2014
Emissivity compensated spectral pyrometry-algorithm and sensitivity analysis
Petter Hagqvist, Fredrik Sikström, Anna-Karin Christiansson et al
Measurement Science and Technology. Vol. 25 (2)
Artikel i vetenskaplig tidskrift
2014
Supervisory Control of Discrete-Event Systems via IC3
Mohammad Reza Shoaei, Laura Kovacs, Bengt Lennartson
Lecture Notes in Computer Science. Vol. 8855, p. 252-266
Paper i proceeding
2014
Resistance measurements for control of laser metal wire deposition
Petter Hagqvist, Almir Heralic, Anna-Karin Christiansson et al
Optics and Lasers in Engineering. Vol. 54, p. 62-67
Artikel i vetenskaplig tidskrift
2014
Modeling and Optimization of Synchronous Behavior for Packaging Machines
Sathyamyla Kanthabhabhajeya, Bengt Lennartson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 19 (1), p. 1684-1691
Paper i proceeding
2014
Emissivity compensated spectral pyrometry for varying emissivity metallic measurands
P. Hagqvist, F. Sikstrom, A. K. Christiansson et al
Measurement Science and Technology. Vol. 25 (2)
Artikel i vetenskaplig tidskrift
2014
Verification of diagnosability based on compositional branching bisimulation
Mona Noori-Hosseini, Bengt Lennartson
Rapport
2014
On the Computation of Natural Observers for Extended Finite Automata
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014, Cape Town, South Africa, 24-29 August 2014. Vol. 19, p. 2448-2455
Paper i proceeding
2014
Unified model for synthesis and optimization of discrete event and hybrid systems
Bengt Lennartson, Oskar Wigström, Martin Fabian et al
IFAC-PapersOnLine. 12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104, Cachan, France, 14-16 May 2014. Vol. 12, p. 86-92
Paper i proceeding
2014
Optimal Performance of Modular and Synchronized Mechatronic Systems
Sathyamyla Kanthabhabhajeya, Bengt Lennartson
Emerging Technology and Factory Automation (ETFA), Spain 2014 IEEE, p. 1- 7
Paper i proceeding
2014
Verification of diagnosability based on compositional branching bisimulation
Mona Noori-Hosseini, Bengt Lennartson
Proc. 19th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2014), Barcelona, Spain, September.
Paper i proceeding
2014
Symbolic Representation and Computation of Timed Discrete-Event Systems
Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 6-19
Artikel i vetenskaplig tidskrift
2014
A constructive cooperative coevolutionary algorithm applied to press line optimisation
E. Glorieux, B. Svensson, F. Danielsson et al
24th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2014; San Antonio; United States; 20 May 2014 through 23 May 2014, p. 909-916
Paper i proceeding
2014
A Gossip Algorithm for Home Healthcare Scheduling and Routing Problems
Sarmad Riazi, Payam Chehrazi, Oskar Wigström et al
19th IFAC World Congress on International Federation of Automatic Control, IFAC 2014; Cape Town; South Africa; 24 August 2014 through 29 August 2014. Vol. 19, p. 10754-10759
Paper i proceeding
2014
Supervisory Control for State-Vector Transition Models—A Unified Approach
Bengt Lennartson, Francesco Basile, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Artikel i vetenskaplig tidskrift
2014
Flexible Specification of Operation Behavior Using Multiple Projections
Kristofer Bengtsson, Bengt Lennartson
IEEE Transactions on Automation Science and Engineering. Vol. 11 (2), p. 504 - 515
Artikel i vetenskaplig tidskrift
2014
Optimisation of interacting production stations using a Constructive Cooperative Coevolutionary approach
E. Glorieux, Fredrik Danielsson, Bo Svensson et al
IEEE International Conference on Automation Science and Engineering, CASE 2014, Taipei, Taiwan, 18-22 August 2014, p. 322-327
Paper i proceeding
2014
Symbolic Interpretation and Execution of Extended Finite Automata
Mohammad Reza Shoaei, Bengt Lennartson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 12 (3), p. 228-234
Paper i proceeding
2014
Resistance based iterative learning control of additive manufacturing with wire
P. Hagqvist, A. Heralić, A.K. Christiansson et al
Mechatronics. Vol. 31, p. 116-123
Artikel i vetenskaplig tidskrift
2014
Model-free approaches for the energy minimization of robot trajectories
Oskar Wigström, Bengt Lennartson
Reglermöte 2014
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2014
An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems
Oskar Wigström, Bengt Lennartson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 12 (3), p. 485-491
Paper i proceeding
2014
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 22 (6), p. 2368-2375
Artikel i vetenskaplig tidskrift
2014
Energy reduction in cyclic flow shop plants through on-off control of robots
Maziar Mashaei, Bengt Lennartson
IEEE International Conference on Automation Science and Engineering, CASE 2014, Taipei, Taiwan, p. 492-497
Paper i proceeding
2014
Patient coordination in emergency departments using an event-based information architecture
Kristofer Bengtsson, Bengt Lennartson
The 19th IEEE International Conference on Emerging Technologies and Factory Automation, p. 1-6
Paper i proceeding
2014
Towards Integrated OR/CP Energy Optimization for Robot Cells
Oskar Wigström, Bengt Lennartson
IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, 31 - 7 June 2014, p. 1674-1680
Paper i proceeding
2013
Interface between SysML and Sequence Planner Language for Formal Verification
Sathyamyla Kanthabhabhajeya, Joakim Berglund, Petter Falkman et al
23rd Annual INCOSE International Symposium, Philadelphia, USA, June
Poster (konferens)
2013
Patient coordination in emergency departments using visualization of operation behavior
Kristofer Bengtsson, Bengt Lennartson
Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Healthcare and e-Health, CICARE 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013, p. 58-63
Paper i proceeding
2013
Developing control logic using aspect-oriented programming and sequence planning
Kristofer Bengtsson, Bengt Lennartson, Oscar Ljungkrantz et al
Control Engineering Practice. Vol. 21 (1), p. 12-22
Artikel i vetenskaplig tidskrift
2013
An efficient algorithm for press line optimisation
B. Svensson, F. Danielsson, Bengt Lennartson
International Journal of Advanced Manufacturing Technology. Vol. 68 (5-8), p. 1627-1638
Artikel i vetenskaplig tidskrift
2013
Automation in Green Manufacturing
J. S. Li, J. R. Morrison, M. T. Zhang et al
IEEE Transactions on Automation Science and Engineering. Vol. 10 (1), p. 1-4
Artikel i övriga tidskrifter
2013
Concurrent Design and Control of Automated Material Handling Systems
Maziar Mashaei, Bengt Lennartson
Proc. 9th IEEE International Conference on Automation Science and Engineering (CASE 2013), Madison Wisconsin, August
Paper i proceeding
2013
Energy Reduction in a Pallet-Constrained Flow Shop through On-Off Control of Idle Machines
Maziar Mashaei, Bengt Lennartson
IEEE Transactions on Automation Science and Engineering. Vol. 10 (1), p. 45-56
Artikel i vetenskaplig tidskrift
2013
Integrated OR/CP Optimization for Discrete Event Systems with Nonlinear Cost
Oskar Wigström, Bengt Lennartson
Proc. 52nd IEEE Conference on Decision and Control. CDC 2013, Florence, Italy, 10-13 December 2013, p. 7627-7633
Paper i proceeding
2013
Sustainable production automation - Energy optimization of robot cells
Oskar Wigström, Bengt Lennartson
Proceedings - IEEE International Conference on Robotics and Automation, p. 252-257
Paper i proceeding
2013
Operation Behavior Modeling using Relation Identification and Visualization Algorithms
Kristofer Bengtsson, Bengt Lennartson
IEEE International Conference,on Automation Science and Engineering (CASE), 2013 Madison, WI, p. 368 - 373
Paper i proceeding
2013
Event- and time-based design of operation sequences with uncertainties in execution times
Nina Sundström, Bengt Lennartson
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Vol. 18
Paper i proceeding
2013
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory
Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Communications in Computer and Information Science. Vol. 271, p. 161-175
Paper i proceeding
2013
High-Level Scheduling of Energy Optimal Trajectories
Oskar Wigström, Bengt Lennartson, Alberto Vergnano et al
IEEE Transactions on Automation Science and Engineering. Vol. 10 (1), p. 57-64
Artikel i vetenskaplig tidskrift
2013
A survey on efficient diagnosability tests for automata and bounded Petri nets
Mona Noori-Hosseini, Bengt Lennartson, Maria Paola Cabasino et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, p. 1-6
Paper i proceeding
2013
Benders/Gossip Methods for Heterogeneous Multi-Vehicle Routing Problems
Sarmad Riazi, Oskar Wigström, Seatzu Carla et al
Proc. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013), Cagliari, September
Paper i proceeding
2013
Sustainable and Robust Control of Cyclic Pallet Systems
Maziar Mashaei, Bengt Lennartson
IEEE Transactions on Automation Science and Engineering. Vol. 10 (4), p. 916-927
Artikel i vetenskaplig tidskrift
2013
Energy Efficient and Collision Free Motion of Industrial Robots using Optimal Control
Staffan C Björkenstam, Daniel Gleeson, Robert Bohlin et al
Proc. 9th IEEE International Conference on Automation Science and Engineering (CASE 2013), Madison Wisconsin, August
Paper i proceeding
2012
Efficient Geometrical Simulation and Virtual Commissioning Performed in Stamping
Nima Nia, Fredrik Danielsson, Bengt Lennartson
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Paper i proceeding
2012
Sequence Planning Using Multiple and Coordinated Sequences of Operations
Kristofer Bengtsson, Patrik Bergagård, Carl Thorstensson et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 308-319
Artikel i vetenskaplig tidskrift
2012
Planning in assembly systems – A common modeling for products and resources
Julien Provost, Bengt Lennartson, Martin Fabian et al
Emerging Technologies & Factory Automation (ETFA)
Paper i proceeding
2012
Methods for Reliable Simulation-Based PLC Code Verification
H. Carlsson, B. Svensson, F. Danielsson et al
IEEE Transactions on Industrial Informatics. Vol. 8 (2), p. 267-278
Artikel i vetenskaplig tidskrift
2012
State-Vector Transition Model Applied to Supervisory Control
Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Paper i proceeding
2012
A Universal Framework for Lean Design and Control of Automated Material Handling Systems
Maziar Mashaei, Bengt Lennartson
IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012
Paper i proceeding
2012
Height control of laser metal-wire deposition based on iterative learning control and 3D scanning
A. Heralic, A. K. Christiansson, Bengt Lennartson
Optics and Lasers in Engineering. Vol. 50 (9), p. 1230-1241
Artikel i vetenskaplig tidskrift
2012
Human operator and robot resource modeling for planning purposes in assembly systems
Julien Provost, Åsa Fasth, Johan Stahre et al
4th CIRP Conference on Assembly Technologies and Systems (CATS 2012), Ann Arbor, 21-22 May 2012
Paper i proceeding
2012
From Task Allocation Towards Resource Allocation when Optimising Assembly Systems
Åsa Fasth, Julien Provost, Martin Fabian et al
Procedia CIRP - Elsevier. Vol. 3, p. 400-405
Artikel i vetenskaplig tidskrift
2012
Symbolic representation and computation of timed discrete event systems
Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Rapport
2012
Sustainable and robust Control of Cyclic Pallet Systems
Maziar Mashaei, Bengt Lennartson
IEEE International Conference on Automation Science and Engineering. Vol. 8, p. 1184-1191
Paper i proceeding
2012
Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems
Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Proceedings of the IEEE Conference on Decision and Control, p. 7352-7359
Paper i proceeding
2012
Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods
Bengt Lennartson, R. Middleton
Proceedings of the IEEE Conference on Decision and Control (Article number 6425801), p. 4247-4252
Paper i proceeding
2012
System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
Sathyamyla Kanthabhabhajeya, Petter Falkman, Bengt Lennartson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 14 (PART 1), p. 1543-1550
Paper i proceeding
2012
Optimization of operation sequences using constraint programming
Nina Sundström, Oskar Wigström, Petter Falkman et al
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 14 (1), p. 1580-1585
Paper i proceeding
2012
Efficient Supervisory Synthesis to Large-Scale Discrete Event Systems Modeled as Extended Finite Automata
Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Rapport
2012
Supervisory Control of Extended Finite Automata Using Transition Projection
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
Rapport
2012
Supervisory Control of Extended Finite Automata Using Transition Projection
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
Proceedings of the IEEE Conference on Decision and Control (Article number 6427390), p. 7259-7266
Paper i proceeding
2012
A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata
Sajed Miremadi, Knut Åkesson, Bengt Lennartson
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1421-1435
Artikel i vetenskaplig tidskrift
2012
Optimization of Hybrid Systems with Known Paths
Oskar Wigström, Nina Sundström, Bengt Lennartson
IFAC Proceedings Volumes. 4th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'12, Eindhoven, 6-8 June 2012, p. 39-45
Paper i proceeding
2012
Model order reduction methods applied to a welding model
Fredrik Sikström, A. K. Christiansson, Bengt Lennartson
Proceedings of the Institution of Mechanical Engineers. Part I: Journal of Systems and Control Engineering. Vol. 226 (I7), p. 972-984
Artikel i vetenskaplig tidskrift
2012
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
Tord Alenljung, Bengt Lennartson, Mona Noori-Hosseini
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1506-1521
Artikel i vetenskaplig tidskrift
2012
Scheduling model for systems with complex alternative behaviour
Oskar Wigström, Bengt Lennartson
2012 IEEE Conference on Automation Science and Engineering, CASE 2012, p. 587-593
Paper i proceeding
2012
Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators
Bengt Lennartson, R. Middleton, Ivar Gustafsson
IEEE Transactions on Automatic Control. Vol. 57 (11), p. 2873-2879
Artikel i vetenskaplig tidskrift
2012
A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables
Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
2012 IEEE Conference on Automation Science and Engineering (CASE), p. 502 - 507
Paper i proceeding
2012
Time-synchronised hardware-in-the-loop simulation - Applied to sheet-metal press line optimisation
B. Svensson, F. Danielsson, Bengt Lennartson
Control Engineering Practice. Vol. 20 (8), p. 792-804
Artikel i vetenskaplig tidskrift
2012
Multi criteria Hinf optimal PID controllers from an undergraduate perspective
Bengt Lennartson
2nd IFAC Conference on Advances in PID Control, PID 2012, Brescia, Italy, 28-30 March 2012. Vol. 2 (1), p. 697-702
Paper i proceeding
2012
Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems
Alberto Vergnano, Carl Thorstensson, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 423-428
Artikel i vetenskaplig tidskrift
2012
Abstractions for nonblocking supervisory control of Extended Finite Automata
Mohammad Reza Shoaei, Lei Feng, Bengt Lennartson
2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012, Seoul, 20-24 August 2012, p. 6-
Paper i proceeding
2012
From task allocation towards resource allocation when optimising assembly systems
Åsa Fasth, Julien Provost, Martin Fabian et al
45th CIRP Conference on Manufacturing Systems 16-18 May 2012 Athens, University of Patras
Paper i proceeding
2011
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory
Zhennan Fei, Knut Åkesson, Bengt Lennartson
2011 IEEE International Conference on Robotics and Automation (ICRA), p. 4364 - 4369
Paper i proceeding
2011
Energy optimization of trajectories for high level scheduling
Oskar Wigström, Bengt Lennartson
IEEE International Conference on Automation Science and Engineering, p. 654-659
Paper i proceeding
2011
Analysis and evaluation of a general camera model
A. Ryberg, Bengt Lennartson, A. K. Christiansson et al
Computer Vision and Image Understanding. Vol. 115 (11), p. 1503-1515
Artikel i vetenskaplig tidskrift
2011
Generation of restart states for manufacturing cell controllers
Kristin Andersson, Bengt Lennartson, Petter Falkman et al
Control Engineering Practice. Vol. 19 (9), p. 1014-1022
Artikel i vetenskaplig tidskrift
2011
Reduced-order synthesis of operation sequences
Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, p. 8-
Paper i proceeding
2011
Optimization of Discrete Event Systems Using Extended Finite Automata and Mixed-Integer Nonlinear Programming
Carl Thorstensson, Sathyamyla Kanthabhabhajeya, Bengt Lennartson et al
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 18 (PART 1), p. 6969-6975
Paper i proceeding
2011
Symbolic Computation of Reduced Guards in Supervisory Control
Sajed Miremadi, Knut Åkesson, Bengt Lennartson
IEEE Transactions on Automation Science and Engineering. Vol. 8 (4), p. 754-765
Artikel i vetenskaplig tidskrift
2011
Planning transport sequences for flexible manufacturing systems
Patrik Magnusson, Nina Sundström, Kristofer Bengtsson et al
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 18 (PART 1), p. 9494-9499
Paper i proceeding
2011
Green and lean control of cyclic pallet systems
Maziar Mashaei, Bengt Lennartson, Göran Abbestam
IEEE International Conference on Automation Science and Engineering, p. 642-647
Paper i proceeding
2011
Automated Generation of Discrete Event System Simulation Models for Flexible Automation
Henrik Carlsson, Jim Nilsson, Fredrik Danielsson et al
The 21st International Conference on Flexible Automation and Intelligent Manufacturing (FAIM), June, Taichung, Taiwan, p. 825-832
Paper i proceeding
2011
Role of fixture forces on distortion in gas tungsten arc welding - an experimental and modelling approach
F. Sikstrom, A. K. Christiansson, Bengt Lennartson
Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture. Vol. 225 (B1), p. 140-148
Artikel i vetenskaplig tidskrift
2011
Vendor independent control database for virtual preparation and formal verification
Petter Falkman, Jonathan Göransson Hedvall, Anders Holmblad et al
International Conference on Information and Automation, ICIA 2011; Shenzhen; 6 June 2011 through 8 June 2011, p. 851-857
Paper i proceeding
2011
A faster collision detection method applied on a sheet metal press line
Nima K. Nia, Fredrik Danielsson, Bengt Lennartson
The 21st International Conference on Flexible Automation and Intelligent Manufacturing (FAIM), June, Taichung,Taiwan, p. 833-840
Paper i proceeding
2011
BDD-based supervisory control on extended finite automata
Sajed Miremadi, Bengt Lennartson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 25-31
Paper i proceeding
2011
Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm
B. Svensson, N. K. Nia, F. Danielsson et al
IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011, Toulouse, 5-9 September 2011
Paper i proceeding
2011
Object-oriented modeling of industrial manipulators with application to energy optimal trajectory scaling
M. Pellicciari, Giovanni Berselli, F. Leali et al
ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2011; Washington, DC; United States; 28 August 2011 through 31 August 2011. Vol. 5 (A and B), p. 997-1006
Paper i proceeding
2011
Efficient Symbolic Supervisory Synthesis and Guard Generation: Evaluating partitioning techniques for the state-space exploration
Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 1, p. 106-115
Paper i proceeding
2010
Increased stability in laser metal wire deposition through feedback from optical measurements
A. Heralic, A. K. Christiansson, M. Ottosson et al
Optics and Lasers in Engineering. Vol. 48 (4), p. 478-485
Artikel i vetenskaplig tidskrift
2010
Supervisor Computation and Representation: A Case Study
Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010. Vol. 10 (1), p. 275-280
Paper i proceeding
2010
Embedding detailed robot energy optimization into high-level scheduling
Alberto Vergnano, Carl Thorstensson, Bengt Lennartson et al
2010 IEEE International Conference on Automation Science and Engineering, CASE 2010, p. 386-392
Paper i proceeding
2010
Sequence Planning for Integrated Product, Process and Automation Design
Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Artikel i vetenskaplig tidskrift
2010
Relations Identification and Visualization for Sequence Planning and Automation Design
Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson et al
In Proc. IEEE Conference on Automation Science and Engineering, Toronto, p. 841 - 848
Paper i proceeding
2010
Optimal Design of a Decoupled Multiple-Loop Pallet System for Cyclic Flexible Manufacturing Plants
Maziar Mashaei, Bengt Lennartson, Fredrik Sannehed et al
6th annual IEEE International Conference on Automation Science and Engineering, p. 433-438
Paper i proceeding
2010
Automatic Generation of Controllers for Collision-Free Flexible Manufacturing Systems
Mohammad Reza Shoaei, Bengt Lennartson, Sajed Miremadi
6th annual IEEE International Conference on Automation Science and Engineering, p. 368-373
Paper i proceeding
2010
Towards Sequence Planning Based on Configurable Product and Manufacturing System Platforms
Kristofer Bengtsson, Marcel Michaelis, Christoffer E Levandowski et al
Proceedings of the 8th International Conference NordDesign 2010. Vol. Vol. 2, p. 467-476
Paper i proceeding
2010
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers
Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
IEEE Transactions on Control Systems Technology. Vol. 18 (2), p. 414-429
Artikel i vetenskaplig tidskrift
2010
Restarting manufacturing systems; restart states and restartability
Kristin Andersson, Bengt Lennartson, Martin Fabian
IEEE Transactions on Automation Science and Engineering. Vol. 7 (3), p. 486-499
Artikel i vetenskaplig tidskrift
2009
Synthesis of Restart States for Manufacturing Cell Controllers
Kristin Andersson, Bengt Lennartson, Martin Fabian
2nd IFAC Workshop on Dependable Control of Discrete Systems, DCDS’09, Bari, Italy
Paper i proceeding
2009
Operation-Oriented Specification for Integrated Control Logic Development
Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan et al
2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, p. 183-90
Paper i proceeding
2009
The Origin of Operations: Interactions Between the Product and the Manufacturing Automation Control System
Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan
13th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM’09, Moscow, Russia, p. 40-5
Paper i proceeding
2009
A framework for automatic generation of interlocking functions for flexible manufacturing.
Avenir Kobetski, Hugo Flordal, Bengt Lennartson et al
Rapport
2009
Aspect-Oriented Programming for Manufacturing Automation Control Systems
Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan
13th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM’09, Moscow, Russia (PART 1), p. 668-673
Paper i proceeding
2009
Non-conservative robust control: Optimized and constrained sensitivity functions
Carl-Magnus Fransson, Torsten Wik, Bengt Lennartson et al
IEEE Transactions on Control Systems Technology. Vol. 17 (2), p. 298-308
Artikel i vetenskaplig tidskrift
2009
Specification of a Batch Plant using Process Algebra and Petri Nets
Petter Falkman, Bengt Lennartson, Michael Tittus
Control Engineering Practice. Vol. 17 (9), p. 1004-15
Artikel i vetenskaplig tidskrift
2009
Optimal number of pallets for reconfigurable cyclic manufacturing plants
Maziar Mashaei, Bengt Lennartson, Fredrik Sannehed et al
2009 IEEE 14th International Conference on Emerging Technologies & Factory Automation, ETFA 2009, Mallorca, Spain, p. 1-8
Paper i proceeding
2009
Simulation based optimization of a sheet-metal press line
Bo Svensson, Fredrik Danielsson, Bengt Lennartson
2009 IEEE 14th International Conference on Emerging Technologies & Factory Automation, ETFA 2009, Mallorca, Spain
Paper i proceeding
2009
Evaluation and tuning of robust PID controllers
Bengt Lennartson, Birgitta Kristiansson
IET Control Theory and Applications. Vol. 3 (3), p. 294-302
Artikel i vetenskaplig tidskrift
2009
Special Issue on WODES'08
Bengt Lennartson, Martin Fabian, Alessandro Giua et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 449-50
Artikel i övriga tidskrifter
2009
Formal verification of PLC controlled systems using sensor graphs
Tord Alenljung, Bengt Lennartson
2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, p. 164-170
Paper i proceeding
2009
Generation of restart states for manufacturing systems with discarded workpieces
Kristin Andersson, Bengt Lennartson, Petter Falkman et al
2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, p. 191-196
Paper i proceeding
2008
Generation of STEP AP214 models from discrete event systems for process planning and control
Petter Falkman, J. Nielsen, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 5 (1), p. 113-126
Artikel i vetenskaplig tidskrift
2008
General Time Synchronisation Method for PLC Programs
henrik Carlsson, Fredrik Danielsson, Bengt Lennartson
17th IFAC World Congress, Seoul, Korea, p. 4440-5
Paper i proceeding
2008
Solving Two Supervisory Control Benchmark Problems Using Supremica
Sajed Miremadi, Knut Åkesson, Martin Fabian et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Paper i proceeding
2008
Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata
Sajed Miremadi, Knut Åkesson, Bengt Lennartson
9th International Workshop on Discrete Event Systems, 2008, p. 193-199
Paper i proceeding
2008
Camera Modelling and Calibration - with Applications
Anders Ryberg, Anna-Karin Christiansson, Bengt Lennartson et al
Computer Vision, Ed. X. Zhihui. I-Tech Education and Publishing, Vienna, Austria, p. 303-32
Kapitel i bok
2008
Control design for automation of robotized laser metal-wire deposition
Almir Heralic, Anna-Karin Christiansson, Kjell Hurtig et al
17th IFAC World Congress, Seoul, Korea, p. 14785-91
Paper i proceeding
2007
Specification of Production Systems Using PPN and Sequential Operation Charts
Petter Falkman, Bengt Lennartson, Kristin Andersson
3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007; Scottsdale, AZ; United States; 22 September 2007 through 25 September 2007, p. 20-25
Paper i proceeding
2007
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems
Tord Alenljung, Markus Sköldstam, Bengt Lennartson et al
IEEE International Conference on Automation Science and Engineering, p. 207-212
Paper i proceeding
2006
Semantics of sensor activation graphs
Tord Alenljung, Bengt Lennartson
Proceedings of the 2006 IEEE Conference on Automation Science and Engineering, Shanghai, China
Paper i proceeding
2006
Hierachical control of flexible manufacturing systems applying information reuse
Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Rapport
2006
Efficient Supervisory Synthesis of Large Systems
Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Control Engineering Practice. Vol. 14 (10), p. 1157-1167
Artikel i vetenskaplig tidskrift
2006
Automatic Generation of Distributed Control Functions for Multi-Product Manufacturing Cells
Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
New Trends in Automation and Industrial IT
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2006
Coordinated operations by relation extraction for manufacturing cell controllers
Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Rapport
2006
Synthesis of Hierarchical and Distributed Control Functions for Multi-Product Manufacturing Cells
Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Proc. of the IEEE Conference on Automation Science and Engineering
Paper i proceeding
2006
Hierarchical Control Applying Supervisor Synthesis and relation Extraction
Kristin Andersson, Johan Richardsson, Bengt Lennartson et al
Proc. of the International Congress ANIPLA 2006 - Methodologies for Emerging Technologies in Automation
Paper i proceeding
2006
Sensor activation graphs - A high level modeling formalism for discrete event systems
Tord Alenljung, Bengt Lennartson
Rapport
2006
Evaluation and simple tuning of PID controllers with high-frequency robustness
Birgitta Kristiansson, Bengt Lennartson
Journal of Process Control. Vol. 16 (2), p. 91-102
Artikel i vetenskaplig tidskrift
2006
Robust tuning of PI and PID controllers
Birgitta Kristiansson, Bengt Lennartson
IEEE Control Systems Magazine. Vol. 26 (1), p. 55-69
Artikel i vetenskaplig tidskrift
2006
Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams
Martin Byröd, Bengt Lennartson, Arash Vahidi Mazinani et al
8th International Workshop on Discrete Event Systems, WODES 2006; Ann Arbor, MI; United States; 10 July 2006 through 12 July 2006, p. 288-293
Paper i proceeding
2006
Restarting Flexible Manufacturing Systems; Synthesis of Restart States
Kristin Andersson, Bengt Lennartson, Martin Fabian
Workshop on Discrete Event Systems
Paper i proceeding
2005
Specification of a Batch Plant using Process Algebra and Petri Nets
Petter Falkman, Bengt Lennartson, Michael Tittus
Proc. of the IEEE Conference on Automation Science and Engineering
Paper i proceeding
2005
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, p. 2751 - 2756
Paper i proceeding
2005
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs
Tord Alenljung, Bengt Lennartson
Automation Science and Engineering, 2005. IEEE International Conference on, p. 261- 266
Paper i proceeding
2005
On the execution of sequential function charts
Anders Hellgren, Martin Fabian, Bengt Lennartson
Control Engineering Practice. Vol. 13, p. 1283-1293
Artikel i vetenskaplig tidskrift
2005
Implementation of full synchronous composition using IEC 61499 function blocks
Goran Cengic, Knut Åkesson, Bengt Lennartson et al
2005 IEEE International Conference on Automation Science and Engineering (CASE) (IEEE Cat. No.05EX1181), p. 267-72
Paper i proceeding
2005
Automatic Scheduling and Verification of the Control Function of Flexible Assembly Cells in an Information Reuse Environment
Kristin Danielsson, Johan Richardsson, Bengt Lennartson et al
Proc. of the IEEE Symposium on Assembly and Task Planning, p. 80-85
Paper i proceeding
2005
Control architecture for flexible production systems
Bengt Lennartson, Martin Fabian, Petter Falkman
2005 IEEE Conference on Automation Science and Engineering, IEEE-CASE 2005; Edmonton; Canada; 1 August 2005 through 2 August 2005, p. 307-312
Paper i proceeding
2004
Low Order Sampled Data Hinfty Control using the Delta Operator and LMIs
Bengt Lennartson, Rick Middleton, Anna-Karin Christiansson et al
Proc. 43rd IEEE Conference on Decision and Control, Paradise Island, The Bahamas, p. 4479-4484
Paper i proceeding
2004
Steps Toward Automatic Generation, Verification and Optimization of Control Programs for Flexible Manufacturing Cells
Johan Richardsson, Kristin Danielsson, P. Holmström et al
FAIM2004, Int. Conf. on Flexible Automation and Intelligent Manufacturing, Toronto, Canada
Paper i proceeding
2004
Early Termination by Local String in Incremental Language Containment Tests
Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
7th Workshop on Discrete Event Systems
Paper i proceeding
2004
Unified, periodic and sampled data Hinf control using the delta operator
Bengt Lennartson, Rick Middleton, Anna-Karin Christiansson
Proceedings of the 43rd IEEE Conference on Decision and Control, Paper WeC02.6, Bahamas
Paper i proceeding
2004
Feedforward feedback controller design for uncertain systems
Torsten Wik, Carl-Magnus Fransson, Bengt Lennartson
12th Nordic Process Control Workshop, p. 39-
Paper i proceeding
2004
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
(to be submitted to) IEEE Transactions on Automation Science and Engineering
Artikel i vetenskaplig tidskrift
2004
Feedforward feedback controller design for uncertain systems
Torsten Wik, Carl-Magnus Fransson, Bengt Lennartson
12th Nordic Process Control Workshop
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2004
Efficient Supervisory Synthesis of Large Systems
Arash Vahidi Mazinani, Bengt Lennartson, Martin Fabian
7th Workshop on Discrete Event Systems
Paper i proceeding
2003
Low Order Multicriteria Hinf Design via Bilinear Matrix Inequalities
Carl-Magnus Fransson, Bengt Lennartson
Proc. 42nd Conference on Decision and Control, Maui, HI
Paper i proceeding
2003
Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange
Petter Falkman, Johan Nielsen, Bengt Lennartson
Journal of Systemics, Cybernetics and Informatics. Vol. 1 (5)
Artikel i vetenskaplig tidskrift
2003
Low Order Sampled-Data H_inf Control
Anna-Karin Christiansson, Bengt Lennartson, H.T. Toivonen
42nd IEEE Conference on Decision and Control, Proceedings. 9-12 Dec. 2003. Vol. 3, p. 2308 - 2313
Paper i proceeding
2003
Automatic generation of object models for process planning and control purposes using an international standard for information exchangeAutomatic Generation of Object Models
Petter Falkman, Johan Nielsen, Bengt Lennartson
Proceedings of the 7th World Multiconference on Systemics, cybernetics and Informatics. Vol. XIII, p. 382-387
Paper i proceeding
2003
Feedforward Feedback Controller Design for Uncertain Systems
Torsten Wik, Carl-Magnus Fransson, Bengt Lennartson
Proc. 42nd Conference on Decision and Control, Maui, HI
Paper i proceeding
2003
Stability Analysis of Hybrid Systems -A Gearbox Application
Stefan Pettersson, Bengt Lennartson
Nonlinear and Hybrid Systems in Automotive Control, p. 373-389
Kapitel i bok
2002
Physics and Control of Resistive Wall Modes
Anders Bondeson, Yueqiang Liu, Demetrio Gregoratto et al
Phys. Plasmas Vol 9 (15):2044-2050
Artikel i vetenskaplig tidskrift
2002
Modeling and Controller Synthesis for Resource Booking Problems using BDDs
Petter Falkman, Arash Vahidi Mazinani, Bengt Lennartson
Proceedings of the 15th IFAC World Congress, Barcelona, Spain, 8 July through 12 July 2001. Vol. 2, p. 1011-1016
Paper i proceeding
2002
Modelling and PLC-based Implementation of Modular Supervisory Control
Anders Hellgren, Bengt Lennartson, Martin Fabian
Proceedings of the 6th Workshop on Discrete Event Systems, Zaragoza, Spain, OCT 02-04, 2002, p. 371-376
Paper i proceeding
2002
Hybrid system stability and robustness verification using linear matrix inequalities
Stefan Pettersson, Bengt Lennartson
Int. J. of Control. Vol. 75 (16), p. 1335-1355
Artikel i vetenskaplig tidskrift
2002
Global Controller Optimization Using Horowitz Bounds
Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik et al
IFAC World Congress, Barcelona, Spain
Paper i proceeding
2002
Convenient, almost optimal and robust tuning of PI and PID Controllers
Birgitta Kristiansson, Bengt Lennartson
IFAC World Congress, Barcelona, Spain
Paper i proceeding
2002
CHAMP - a Generic Architecture for Flexible Production
Bengt Lennartson, Martin Fabian, Per Gullander
Symposium on Robotics, paper 022, Stockholm
Paper i proceeding
2002
A Formal Mapping of Static Information Models into Dynamic Models for Process Planning nad Control Purposes
Petter Falkman, Johan Nielsen, Bengt Lennartson
Proceedings of the 6 th Workshop on Discrete Event Systems, Zaragoza, Spain
Paper i proceeding
2002
On the Choice of Sampling Period and Robust Pole Placement
Xiaolong Peng, Bengt Lennartson, Carl-Magnus Fransson
In Proc. IFAC World Congress, Barcelona, Spain
Paper i proceeding
2002
Control Analysis for Non-Axisymmetric Reistive Wall Mode Stabilization in the DIII-D Tokamak
Carl-Magnus Fransson, Bengt Lennartson, D.A. Humphreys et al
American Control Conference, Anchorage, AK, USA
Paper i proceeding
2002
H-infinity Loop Shaping for Mixed Continuous/Discrete-time Time-varying and Periodic Systems
Anna-Karin Christiansson, Bengt Lennartson, H.T. Toivonen
15th IFAC World Congress
Paper i proceeding
2002
Modeling and Controller Synthesis for Resource Booking Problems using BDDs.
Arash Vahidi Mazinani, Bengt Lennartson
Proceedings of the 15th IFAC World Congress, July 21-26, 2002, Barcelona, Spain.
Paper i proceeding
2001
Multi criteria controller design for uncertain MIMO systes using nonconvex global optimization
Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik et al
40th Conference on Decision and Control, Orlando, FL, USA
Paper i proceeding
2001
Generic Resource Booking Models in Flexible Cells
Arash Vahidi Mazinani, Martin Fabian, Bengt Lennartson
Proceedings of the 2001 IEEE International Symposium on Intelligent Control, 2001. (ISIC '01). 5-7 Sept. 2001, Mexico City, p. 252-257
Paper i proceeding
2001
Active feedback stabilization of high-beta modes in tokamaks
Yueqiang Liu, Anders Bondeson, Carl-Magnus Fransson et al
28th EPS Conf. On Controlled Fusion and Plasma Physics, Madeira, Portugal
Paper i proceeding
2001
Sampled-data H-inifinty control for hybrid systems
Anna-Karin Christiansson, Bengt Lennartson, H.T. Toivonen
ECC 2001, Porto, Portugal, p. 3282-3287
Paper i proceeding
2001
Robust and optimal tuning of PI and PID Controllers
Birgitta Kristiansson, Bengt Lennartson
Proc of Nordic Conference on Control, Åbo, Finland
Paper i proceeding
2001
H-inf control of uncertain systems using Horowitz bounds
Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik et al
American Control Conference, Arlington, VA, USA
Paper i proceeding
2001
Modular Implementation of Discrete Event Systems as Sequential Function Charts Applied to an Assembly Cell
Anders Hellgren, Martin Fabian, Bengt Lennartson
Proceedings of the 2001 IEEE Conference on Control Applications, SEP 05-07, 2001 Mexico City, Mexico, p. 453-458
Paper i proceeding
2001
On the Execution of Discrete Event Systems as Sequential Function Charts
Anders Hellgren, Martin Fabian, Bengt Lennartson
Proceedings of the 2001 IEEE Conference on Control Applications, Mexico City, Mexico
Paper i proceeding
2001
Robust PI and PID Controllers including Smith Predictor Structure
Birgitta Kristiansson, Bengt Lennartson
Proc of American Control Conference
Paper i proceeding
2001
Stabilization of Hybrid Systems using a Min-Projection Strategy
Stefan Pettersson, Bengt Lennartson
Proc. of the American Control Conference
Paper i proceeding
2001
Efficient Application of Symbolic Tools for Resource Booking Problems
Arash Vahidi Mazinani, Bengt Lennartson, Dennis Arkeryd et al
American Control Conference, Arlington, VA, USA; 25 June through 27 June 2001. Vol. 6, p. 4937-4942
Paper i proceeding
2001
Robust and optimal tuning of PI and PID Controllers
Birgitta Kristiansson, Bengt Lennartson
Accepted for publication IEE Special issue of PID Control
Artikel i vetenskaplig tidskrift
2001
Modeling and Specification of Discrete Event Systems using Combined Process Algebra and Petri Nets
Petter Falkman, Bengt Lennartson, Michael Tittus
Proceedings 2001 IEEE/ASME Advanced Intelligent Mecatronics, COMO, ITALY, JUL 08-12, 2001. Vol. 2, p. 1011-1016
Paper i proceeding
2001
Active Feedback Stabilization of High-Beta Modes in Advanced Tokamaks
Anders Bondeson, Yueqiang Liu, Carl-Magnus Fransson et al
Nuclear Fusion. Vol. 41 (4), p. 455-463
Artikel i vetenskaplig tidskrift
2001
Two applications for hybrid H-infinity control: Generalised sampled-data and Loop-shaping
Anna-Karin Christiansson, Bengt Lennartson, H.T. Toivonen
IFAC workshop on Periodic Control, Chernobbio-Como, Italy, p. 103-108
Paper i proceeding
2001
Combined Process Algebra and Petri Nets for Specification of Resource Booking Problems
Petter Falkman, Bengt Lennartson
American Control Conference. Vol. 6, p. 4949-4955
Paper i proceeding
2001
Active control of MHD modes in magnetic confinement systems
Anders Bondeson, Yueqiang Liu, Demetrio Gregoratto et al
9th European Fusion Theory Workshop, Helsingör, Denmark
Paper i proceeding
2001
Sampled-Data H-infinity-Control for Time-Varying Hybrid Systems
Anna-Karin Christiansson, Bengt Lennartson, H.T. Toivonen
Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms. Vol. 8 (4), p. 427-444
Artikel i vetenskaplig tidskrift
2000
H-inf control of unstable uncertain plants using Horowitz bounds
Carl-Magnus Fransson, Bengt Lennartson, Claes Breitholtz et al
39th Conference on Decision and Control, Sydney, Australia
Paper i proceeding
2000
Prioritised Synchronous Composition of Inhibitor Arc Petri Nets
Anders Hellgren, Martin Fabian, Bengt Lennartson
Discrete Event Systems: Analysis and Control
Paper i proceeding
2000
Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques
Marcus Rubensson, Bengt Lennartson
Proc. of 39th IEEE Conf. Decision Contr.
Paper i proceeding
2000
Stability of Hybrid Systems using LMIs -- A Gear-box Application
Stefan Pettersson, Bengt Lennartson
Proc. of HSCC'00, Lecture Notes in Computer Science 1201, p. 240-254
Kapitel i bok
2000
From PI to H-inf control in a unified framework
Birgitta Kristiansson, Bengt Lennartson, Carl-Magnus Fransson
39th Conference on Decision and Control, Sydney, Australia
Paper i proceeding
2000
Active feedback stabilization of high-beta modes in advanced Tokamaks
Anders Bondeson, Yueqiang Liu, Carl-Magnus Fransson et al
18th IAEA Fusion Energy Conference, Sorrento, Italy
Paper i proceeding
2000
Feedback stabilization of non-axisymmetric resistive wall modes in tokamaks. Part 2: Control analysis
Carl-Magnus Fransson, Bengt Lennartson, Claes Breitholtz et al
The Physics of Plasmas. Vol. 7 (10), p. 4143-4151
Artikel i vetenskaplig tidskrift
2000
Stability and robustness of hybrid systems using discrete-time Lyapunov techniques
Marcus Rubensson, Bengt Lennartson
Proc. of American Contr. Conf.
Paper i proceeding
2000
Perspectives and Results on the Stability and Stabilizability of Hybrid Systems
Ray DeCarlo, Michael Branicky, Stefan Pettersson et al
Proceedings of the IEEE, p. 1069-1082
Artikel i vetenskaplig tidskrift
2000
On optimizing PID controllers for uncertain plants using Horowitz bounds
Carl-Magnus Fransson, Bengt Lennartson, Torsten Wik et al
IFAC Workshop on digital control: Past, present, and future of PID control, Terassa, Spain
Paper i proceeding
2000
Continuous-, discrete- and sampled-data H_inf control - A unified framework
Anna-Karin Christiansson, Bengt Lennartson, H.T. Toivonen
CDC, p. 1936-1941
Paper i proceeding
2000
Feedback stabilization of non-axisymmetric resistive wall modes in tokamaks. Part 1: Electromagnetical model
Yueqiang Liu, Anders Bondeson, Carl-Magnus Fransson et al
The Physics of Plasmas. Vol. 7 (9), p. 3681-3690
Artikel i vetenskaplig tidskrift
1999
Optimal PID Controllers including Rolloff and Smith Predictor Structure
Birgitta Kristiansson, Bengt Lennartson
Proceedings of 14th World Congress of IFAC, Vol F., Beijing, China
Paper i proceeding
1999
Synchronised Execution of Discrete Event Models Using Sequential Function Charts
Anders Hellgren, Martin Fabian, Bengt Lennartson
Proceedings of the 38th IEEE Conference on Decision and Control, Phoenix, Arizona, USA
Paper i proceeding
1999
Hierarchical Supervisory Control for Batch Processes
Michael Tittus, Bengt Lennartson
IEEE Transactions on Control Systems Technology. Vol. 7 (5)
Artikel i vetenskaplig tidskrift
1999
Deadlock Detection and Controller Synthesis for Production Systems Using Partial Order Techniques
Anders Hellgren, Martin Fabian, Bengt Lennartson
Proceedings of the 1999 IEEE International Conference on Control Applications, Kohala Coast, Hawaii, USA
Paper i proceeding
1999
Weight selection for H_inf control using genetic algorithms
Anna-Karin Christiansson, Bengt Lennartson
IFAC world congress, p. 2a-01-5-
Paper i proceeding
1999
Mixed continuous-/discrete-time output feedback H∞ control, a unified approach
Anna-Karin Christiansson, Bengt Lennartson, H.T. Toivonen
1999 European Control Conference, ECC 1999; Karlsruhe; Germany; 31 August-3 September 1999;, p. 4077-4082
Paper i proceeding
1999
Exponential Stability of Hybrid Systems Using Piecewise Quadratic Lyapunov Functions Resulting in LMIs
Stefan Pettersson, Bengt Lennartson
IFAC'99, Beijing, P. R. China. Vol. J, p. 103-108
Paper i proceeding
1999
Frequency analysis for mixed continuous-time and discrete-time periodic systems
Olof Lindgärde, Bengt Lennartson
1999 European Control Conference, ECC 1999; Karlsruhe; Germany; 31 August 1999 through 3 September 1999, p. 4071-4076
Paper i proceeding
1998
Convergence to Limit Cycles in Hybrid Systems: An Example
Marcus Rubensson, Bengt Lennartson, Stefan Pettersson
Proceedings of LSS'98, Patras, Greece, p. 704 - 709
Paper i proceeding
1998
Specification Structures for Supervisory Control
Bengt Lennartson, Michael Tittus, Martin Fabian et al
Proc of WODES'98, Cagliary, Italy, p. 30--35-
Paper i proceeding
1998
Chalmers Architecture and Methodology for Flexible Production - Champ
Martin Fabian, Bengt Lennartson, Per Gullander et al
Advances in Design and Manufacturing, vol 8, Changing the Ways We Work, p. 720-731
Paper i proceeding
1998
Modeling Primitives and Specification Structures for Supervisory Control
Bengt Lennartson, Martin Fabian, Michael Tittus et al
Proc of CDC'98, Tampa, FL, p. 3789-3794
Paper i proceeding
1998
Robust Design of PID Controllers including Auto-tuning Rules
Birgitta Kristiansson, Bengt Lennartson
Proceedings of American Control Conference, Phoenix, USA
Paper i proceeding
1998
Modeling Primitives for Supervisory Control
Bengt Lennartson, Martin Fabian, Michael Tittus et al
Proc of WODES'98, Cagliary, Italy, p. 67--72-
Paper i proceeding
1998
Modeling, Specification and Controller Synthesis for Discrete Event Systems
Bengt Lennartson, Michael Tittus, Martin Fabian
Proc of SMC'98, San Diego, CA, p. 698--703-
Paper i proceeding
1998
Hierarchical Supervisory Control for Batch Processes
Michael Tittus, Bengt Lennartson
Proc ACC'98
Paper i proceeding
1998
Optimal PID Controllers for unstable and resonant plants
Birgitta Kristiansson, Bengt Lennartson
Proceedings of 37th IEEE Conference on Decision and Control, Tampa, USA
Paper i proceeding
1998
Database Design for Machining Cell Resource Models
Anders Hellgren, Sven Arne Andreasson, Per Gullander et al
Preprints of the 8th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, Rio-Patras, Greece
Paper i proceeding
1998
A Generic System Architecure for Flexible Production
Martin Fabian, Bengt Lennartson, Per Gullander et al
Proc. of the First International Workshop on Intelligent Manufacturing Systems, p. 245-259
Paper i proceeding
1997
Stability and Robustness of Nonlinear and Hybrid Systems Using LMIs
Stefan Pettersson, Bengt Lennartson
Preprints of the 7th Nordic Process Control Workshop, Vinstra, Norway, p. 337-344
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1997
Performance and robust frequency response for multirate sampled-data systems
Olof Lindgärde, Bengt Lennartson
Proc. 1997 IEEE American Control Conference, Albuquerque, New Mexico, p. 3877-81
Paper i proceeding
1997
Integrating Process Planning and Control for Flexible Production Systems
Martin Fabian, Bengt Lennartson, Per Gullander et al
Proc of the 4th European Control Conference, Brussels, Belgium
Paper i proceeding
1997
A Class of Non-Deterministic Specifications for Supervisory Control
Martin Fabian, Bengt Lennartson
European Journal of Control. Vol. 3 (1), p. 81-90
Artikel i vetenskaplig tidskrift
1997
Passband and High Frequency robustness for PID Control
Bengt Lennartson, Birgitta Kristiansson
Proc. 36th IEEE Conference on Decision and Control, San Diego, USA, p. 2666-71
Paper i proceeding
1997
LMI for Stability and Robustness of Hybrid Systems
Stefan Pettersson, Bengt Lennartson
Proc. 1997 American Control Conference, Albuquerque, New Mexico,JUN 04-06,, p. 1714-18
Paper i proceeding
1997
H-infinity Control of Multirate Sampled-Data Systems: A Riccati Equation Solution
Mats Sågfors, Hannu Toivonen, Bengt Lennartson
Proc. 36th IEEE Conference on Decision and Control, San Diego, p. 2151-6
Paper i proceeding
1997
Controller Design of Hybrid Systems
Stefan Pettersson, Bengt Lennartson
Hybrid and Real-Time Systems, HART'97, Lecture Notes in Computer Science 1201, Editor O. Maler, Springer, p. 240-54
Kapitel i bok
1997
An LMI Approach for Stability Analysis of Nonlinear Systems
Stefan Pettersson, Bengt Lennartson
Proc. of the 4th European Control Conference, Brussels, Belgium
Paper i proceeding
1997
Operator control activities in flexible manufacturing systems
Anders Adlemo, Sven Arne Andreasson, Martin Fabian et al
Int. Journal of Computer Integrated Manufacturing. Vol. 10 (1-4), p. 221-31
Artikel i vetenskaplig tidskrift
1997
State-Space Solution to the Multirate H-infinity Control Problem: A Lifting Approach
Mats Sågfors, Hannu Toivonen, Bengt Lennartson
Proc. 36th IEEE Conference on Decision and Control, San Diego, p. 2061-6
Paper i proceeding
1997
Exponential Stability Analysis of Nonlinear Systems using LMIs
Stefan Pettersson, Bengt Lennartson
Proc. of 36th IEEE Conference on Decision and Control, San Diego, DEC 10-12, p. 199-204
Paper i proceeding
1996
On the Choice of Criteria and Weighting Functions for an H-infinity-design problem
Inge Jovik, Bengt Lennartson
Proc. 13th IFAC World Congress, San Fransisco, California. Vol. C, p. 373-8
Paper i proceeding
1996
Stability and robustness for hybrid systems
Stefan Pettersson, Bengt Lennartson
Proc. of the 35th IEEE Conference on Decision and Control, Kobe, Japan, DEC 11-13, p. 1202-1207
Paper i proceeding
1996
Modelling, analysis, and synthesis of hybrid systems
Stefan Pettersson, Bengt Lennartson
Preprints, Reglermöte 96, Luleå, Sweden, p. 150-154
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1996
Frequency Analysis for Continuous-Time Systems Under Multi-rate Sampled Data Control
Olof Lindgärde, Bengt Lennartson
Proc. 13th IFAC World Congress, San Fransisco, California. Vol. C, p. 349-54
Paper i proceeding
1996
Sensitivity Functions for Sampled-Data Control
Olof Lindgärde, Bengt Lennartson
Preprints, Reglermöte 96, Luleå, Sweden
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1996
Hybrid Systems in Process Control
Bengt Lennartson, Michael Tittus, Bo Egardt et al
IEEE Control Systems. Vol. 16 (5), p. 45-56
Artikel i vetenskaplig tidskrift
1996
Time-optimal control and disturbance compensation for a class of hybrid systems
Stefan Pettersson, Bengt Lennartson
Proc. 13th IFAC World Congress, San Fransisco, California, p. 281-286
Paper i proceeding
1996
Concurrently competing production sequences - A case for nondeterministic supervisory control
Martin Fabian, Bengt Lennartson
Proc of Int Workshop on Discrete Event Systems, WODES'96, Edinburgh, Scotland, UK, p. 120-126
Paper i proceeding
1996
On nondeterministic supervisory control
Martin Fabian, Bengt Lennartson
Proc of the 35th IEEE Conference on Decision and Control, Kobe, Japan, p. 2213-8
Paper i proceeding
1996
Controlling and Coordinating Recipes in Batch Applications
Michael Tittus, Martin Fabian, Bengt Lennartson
Preprints, Reglermöte 96, Luleå, Sweden
Paper i proceeding
1995
Towards a Truly Flexible Manufacturing System
Anders Adlemo, Sven Arne Andreasson, Martin Fabian et al
Control Engineering Practice. Vol. 3 (4), p. 545-554
Artikel i vetenskaplig tidskrift
1995
Hybrid Modelling Focused on Hybrid Petri Nets
Stefan Pettersson, Bengt Lennartson
Proc. of the 2nd European Workshop on Real-time and Hybrid systems, Grenoble, France, p. 303-309
Paper i proceeding
1995
Hybrid Modelling Focused on Hybrid Petri Nets
Stefan Pettersson, Bengt Lennartson
The 2nd Russian-Swedish Control Conference, St. Petersburg, Russia
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1995
Time-optimal control for a class of hybrid systems
Stefan Pettersson, Bengt Lennartson
Proc. of the 3rd European Control Conference, Rome, Italy, p. 2054-2059
Paper i proceeding
1995
Mixed Continuous-Time and Multirate Sampled-Data H-infinity Control Applied to a Packed Bed Distillation Column
Olof Lindgärde, Bengt Lennartson
Proc of the 3rd European Control Conference, Rome, Italy, p. 601-6
Paper i proceeding
1995
Petri Net Constructs for High Level Operation Lists
Martin Fabian, Bengt Lennartson
Proc. 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 163-8
Paper i proceeding
1995
Controlling and Coordinating Recipes in Batch Applications
Michael Tittus, Martin Fabian, Bengt Lennartson
Proc of the 34th IEEE Conference on Decision and Control, New Orleans, LA, DEC 13-15, p. 2484-2489
Paper i proceeding
1995
A Class of Nondeterministic Marked Specification for Supervisory Control
Martin Fabian, Bengt Lennartson
The 3rd SIAM Conference on Control and Its Applications, St Louis, Missouri
Paper i proceeding
1995
Dynamic Products in Control of an FMS Cell
Martin Fabian, Per Gullander, Bengt Lennartson et al
Proc 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 139-44
Paper i proceeding
1995
Generic Resource Models and a Message-Passing Structure in an FMS Controller
Per Gullander, Martin Fabian, Sven Arne Andreasson et al
Proc. IEEE International Conference on Robotics and Automation, ICRA '95, Nagoya, Japan, p. 1447-54
Paper i proceeding
1995
Hybrid Modelling Focused on Hybrid Petri Nets
Stefan Pettersson, Bengt Lennartson
Proc. of the ADEDOPS Workshop on Analysis and Design of Event-Driven Operation in Process Systems, London, UK
Paper i proceeding
1995
A Machining Cell Level Language for Product Specification
Sven Arne Andreasson, Anders Adlemo, Martin Fabian et al
Proc of INCOM'95, Beijing, China, p. 118-124
Paper i proceeding
1995
Controlling and Coordinating Recipes in Batch Applications
Michael Tittus, Martin Fabian, Bengt Lennartson
Proc of Workshop on Analysis and Design of Event-Driven Operation in Process Systems, London, UK
Paper i proceeding
1995
A Class of Nondeterministic Specifications for Supervisory Control
Martin Fabian, Bengt Lennartson
Proc. 3rd European Control Conference, Rome, Italy, p. 2809-14
Paper i proceeding
1995
Operator Control Activities in Manufacturing Systems - A Case Study of a Machining Cell
Anders Adlemo, Per Gullander, Sven Arne Andreasson et al
Proc. 8th IFAC Symposium on Information Control Problems in Manufacturing Technology, INCOM'95, Beijing, China, p. 157-162
Paper i proceeding
1995
Applying Supervisory Control to Discrete Event Systems Modeled by Object Oriented Principles
Martin Fabian, Bengt Lennartson
Proc. INRIA/IEEE Conference on Emerging Technologies and Factory Automation, ETFA'95, Paris, France, p. 93-104
Paper i proceeding
1995
Frequency Analysis for Single and Multirate Sampled-Data Control
Olof Lindgärde, Bengt Lennartson
Proc of the 34th IEEE Conference on Decision and Control, New Orleans, LA, p. 1770-1775
Paper i proceeding
1995
Guidelines for a generic message-based structure to obtain flexible cell control
Per Gullander, Anders Adlemo, Sven Arne Andreasson et al
Advances in Design and Manufacturing: Opening Productive Partnerships - Concerted Efforts in Europe, editor K.R. von Barisani and T.A. MacConaill and K. Tierny, IMS Press, p. 371-80
Kapitel i bok
1995
Database Design for Machining Cell Level Product Specification
Sven Arne Andreasson, Anders Adlemo, Martin Fabian et al
Proc of the 21st IEEE Int Conference on Industrial Electronics, Control, and Instrumentation, Orlando, Florida, p. 121-126
Paper i proceeding
1995
Control System Support for Manual Interaction in Flexible Manufacturing Systems
Anders Adlemo, Sven Arne Andreasson, Martin Fabian et al
Proc of the IEEE Int. Conference on Recent Advances in Mechatronics, Istanbul, p. 333-339
Paper i proceeding
1995
Plant and Product Models for Batch Processes
Michael Tittus, Bo Egardt, Bengt Lennartson
Proc. 3rd European Control Conference, Rome, Italy, p. 3555-60
Paper i proceeding
1995
Book review of `Performance Modeling of Automated Manufacturing Systems', by N. Viswanadham and Y. Narahari
Bo Egardt, Bengt Lennartson
Automatica. Vol. 31 (2), p. 354-356
Artikel i övriga tidskrifter
1995
Frequency analysis for sampled data control
Olof Lindgärde, Bengt Lennartson
The 2nd Russian-Swedish Control Conference, St.\ Petersburg, Russia
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1994
Mixed Continuous-Time and Multirate Sampled-Data H-infinity Control
Olof Lindgärde, Bengt Lennartson
Proc of the 33rd IEEE Conference on Decision and Control, Orlando, Florida, p. 712-3
Paper i proceeding
1994
Kopplingen mellan linjärkvadratisk optimering och klassiska frekvensmetoder (Connections between linear-quadratic design and classical frequency domain methods)
Inge Jovik, Bengt Lennartson
Preprints, Reglermöte 94, Västerås, Sweden
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1994
Hybrida system - modeller för analys och syntes (Hybrid systems - models for analysis and synthesis)
Bo Egardt, Bengt Lennartson, Michael Tittus
Preprints, Reglermöte 94, Västerås, Sweden
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1994
Object Oriented Supervisory Control with a Class of Nondeterministic Specifications
Martin Fabian, Bengt Lennartson
Proc of the 33rd IEEE Conference on Decision and Control, Orlando, Florida, p. 3634-5
Paper i proceeding
1994
Towards a True Flexible Manufacturing System
Anders Adlemo, Sven Arne Andreasson, Martin Fabian et al
Proc of the 10th ISPE/IFAC Int. Conference on CAD/CAM, Robotics and Factories of the Future, CARS & FOF '94, Ottawa, Canada, p. 401-410
Paper i proceeding
1994
Petri Nets and Control Synthesis; An Object Oriented Approach
Martin Fabian, Bengt Lennartson
Proc of the 2nd IFAC/IFIP/IFORS Workshop on Intelligent Manufacturing Systems, IMS '94, Vienna, Austria, p. 427-32
Paper i proceeding
1994
Time-optimal control for a class of hybrid systems
Stefan Pettersson, Bengt Lennartson
Proc. of the Workshop on Hybrid Systems and Autonomous Control, Ithaca, New York
Paper i proceeding
1994
Hybrid Systems in Process Control
Bengt Lennartson, Bo Egardt, Michael Tittus
Proc of the 33rd IEEE Conference on Decision and Control, Orlando, Florida, p. 3587-3592
Paper i proceeding
1993
Distributed Objects for Real-Time Control Systems
Martin Fabian, Bengt Lennartson
Proc of the 12th IFAC World Congress, Sydney, Australia
Paper i proceeding
1992
Identification of Continuous Time-Delayed Models
Bengt Lennartson
Swedish-Russian Control Conference, Linköping, Sweden
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1992
Object Oriented Structuring of Real Time Control Systems
Martin Fabian, Bengt Lennartson
Proc of the 31st IEEE Conference on Decision and Control, Tucson, Arizona, p. 2529-2530
Paper i proceeding
1992
Control of Manufacturing Systems - An Object Oriented Approach
Martin Fabian, Bengt Lennartson
DUP Conference, Stockholm, Sweden
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1992
Object-Oriented Structuring of Real-Time Systems
Martin Fabian, Bengt Lennartson
Swedish-Russian Control Conference, Linköping, Sweden
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
1992
Control of Manufacturing Systems - An Object Oriented Approach
Martin Fabian, Bengt Lennartson
Proc. 7th IFAC Symposium on Information Control Problems in Manufacturing Technology, Toronto, Canada, p. 43-48
Paper i proceeding
1990
On the Choice of Controller and Sampling Period for Linear Stochastic Control
Bengt Lennartson
Automatica. Vol. 26 (3), p. 573-578
Artikel i vetenskaplig tidskrift
1989
Book review of “Singular Perturbation Methods in Control: Analysis and Design” by P. Kokotovi´c, H.K. Khalil and J. O'Reilly
Bengt Lennartson
Automatica. Vol. 25, p. 953-954
Artikel i övriga tidskrifter
1989
Sampled-data Control for Time-delayed Plants
Bengt Lennartson
International Journal of Control. Vol. 49, p. 1601-1614
Artikel i vetenskaplig tidskrift
1989
Multirate Sampled-data Control of Two-time-scale Systems
Bengt Lennartson
IEEE Transactions on Automatic Control. Vol. AC-34, p. 642-644
Artikel i vetenskaplig tidskrift
1989
Combining Infrequent and Indirect Measurements by Estimation and Control
Bengt Lennartson
Industrial and Engineering Chemistry Research. Vol. 28, p. 1653-1658
Artikel i vetenskaplig tidskrift
1989
Investigation of the Intersample Variance in Sampled-data Control
Bengt Lennartson
International Journal of Control. Vol. 50, p. 1587-1602
Artikel i vetenskaplig tidskrift
1989
Intersample Behaviour as Measured by Continuous-time Quadratic Criteria
Bengt Lennartson, T. Söderström, Zengqi Sun
International Journal of Control. Vol. 49, p. 2077-2083
Artikel i vetenskaplig tidskrift
1988
On the choice of controller and sampling period for linear stochastic control
Bengt Lennartson
Selected Papers from the 10th IFAC World Congress, Munich. Vol. 9, p. 235-40
Paper i proceeding
1988
Periodic Solutions of Riccati Equations Applied to Multirate Sampling
Bengt Lennartson
International Journal of Control. Vol. 48, p. 1025-1042
Artikel i vetenskaplig tidskrift
1986
Low order non-linear models for distributed parameter processes in industrial production
Mats Molander, Bengt Lennartson, Birger Qvarnström
S.G. Tzafestas and P. Borne (eds.) Complex and Distributed systems: Analysis, Simulation and Control. Elsevier Science Publishers.
Kapitel i bok
1986
An investigation of the intersample variance for linear stochastic control.
Bengt Lennartson, T. Söderström
Proceedings of the 25th IEEE Conference on Decision and Control, Athens, p. 1770-1775
Paper i proceeding
1986
On the design of stochastic control systems with multirate sampling
Bengt Lennartson
Doktorsavhandling
1985
What happens in the moments between samplings?
Bengt Lennartson
Elteknik med Aktuell Elektronik (19), p. 60-1, 63-4-
Artikel i övriga tidskrifter
1983
Algorithms for time continuous quadratic performance functions in sampled-data control systems
Bengt Lennartson, Birger Qvarnström, Zengqi Sun
Proceedings 3rd IFAC/IFIP Symposium on Software for Computer Control, Madrid, p. 319-24
Paper i proceeding
1981
On linear optimal control with infrequent output sampling
T. Söderström, Bengt Lennartson
Third IMA Conference on Control Theory, p. 605-24
Paper i proceeding
Visar 3 forskningsprojekt
2017–2022
Systematisk testning av cyberfysiska system (SyTeC)
John Hughes
Funktionell programmering
Koen Lindström Claessen
Funktionell programmering
Martin Fabian
Automation
Mary Sheeran
Funktionell programmering
Bengt Lennartson
Automation
Nicholas Smallbone
Funktionell programmering
Zahra Ramezani
Automation
Knut Åkesson
Automation
Vetenskapsrådet (VR)
2016–2021
Smart Assembly 4.0
Rikard Söderberg
Produkt- och produktionsutveckling
Johan Carlson
Produktutveckling
Kristina Wärmefjord
Produktutveckling
Lars Lindkvist
Produktutveckling
Roham Sadeghi Tabar
Produktutveckling
Bengt Lennartson
Automation
Abolfazl Rezaei Aderiani
Produktutveckling
Stiftelsen för Strategisk forskning (SSF)
2013–2016
Automation and Robotics for EUropean Sustainabile manufacturing (AREUS)
Bengt Lennartson
System- och reglerteknik
Kristofer Bengtsson
Automation
Oskar Wigström
Automation
Sarmad Riazi
Automation
Europeiska kommissionen (FP7)
Det kan finnas fler projekt där Bengt Lennartson medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.