Bengt Lennartson
Showing 374 publications
Optimization of Timed Petri Nets using CP-SAT
How Useful is Learning in Mitigating Mismatch Between Digital Twins and Physical Systems?
Classroom-ready open-source educational exoskeleton for biomedical and control engineering
Unified and Simplified Bisimulation
Energy reduction of stochastic time-constrained robot stations
Efficient Safety Verification of Discrete Event Systems
Relevant Safety Falsification by Automata Constrained Reinforcement Learning
Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines
State-labeled safety analysis of modular observers for opacity verification
Generating Optimized Trajectories for Robotic Spray Painting
Reductions and Abstractions for Optimization of Modular Timed Automata
On Optimization of Automation Systems: Integrating Modular Learning and Optimization
Incremental Abstraction - An Analytical and Algorithmic Perspective on Petri Net Reduction
Online Energy-Optimal Timing of Stochastic Robot Stations
Using CP/SMT Solvers for Scheduling and Routing of AGVs
Goal-Oriented Process Plans in a Multiagent System for Plug & Produce
Co-simulation of Rigid Interactions Using Differential Algebraic Equations
Energy Optimization of Large-Scale AGV Systems
Applied energy optimization of multi-robot systems through motion parameter tuning
Formal Properties of the Digital Twin-Implications for Learning, Optimization, and Control
Reinforcement Learning with Temporal Logic Constraints
Efficient Temporal Logic Verification by Incremental Abstraction
Robot spray painting trajectory optimization
Instability Problems in Co-Simulation of Modular Systems
Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances
A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems
Implementation of a Rapidly Executing Robot Controller
Time-optimal control of large-scale systems of systems using compositional optimization
Scheduling and routing of agvs for large-scale flexible manufacturing systems
Enhancing digital twins through reinforcement learning
Incremental Abstraction for Diagnosability Verification of Modular Systems
Robust and energy efficient trajectories for robots in a common workspace setting
Simulation based energy optimization of robot stations by motion parameter tuning
Robust and Energy Efficient Trajectories in a Stochastic Common Workspace Setting
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Visible Bisimulation Equivalence - A Unified Abstraction for Temporal Logic Verification
Productivity/energy optimisation of trajectories and coordination for cyclic multi-robot systems
Compositional Optimization of Discrete Event Systems
Welcome Message from General and Program Chairs
Reinforcement learning in real-time geometry assurance
Parallelization of a gossip algorithm for vehicle routing problems
Multi-criteria Optimization of PD Controllers for Plants including Integral Action
Energy and Peak-power Optimization of Time-bounded Robot Trajectories
Computationally efficient energy optimization of multiple robots
Constructive cooperative coevolution for large-scale global optimisation
Conflict between Energy, Stability and Robustness in Production Schedules
Energy and Peak Power Optimization of Time-Bounded Robot Trajectories
Multi-objective constructive cooperative coevolutionary optimization of robotic press-line tending
From trapezoid to polynomial: Next-generation energy-efficient robot trajectories
Conflict Between Energy, Stability, and Robustness in Production Schedules
An event-driven manufacturing information system architecture for Industry 4.0
A supervisory control algorithm based on property-directed reachability
Decomposition and distributed algorithms for home healthcare routing and scheduling problem
On the conflict between energy, stability and robustness in production schedules
Rescheduling Affected Operations - a Purely Predictive Approach
Comparing MILP, CP, and A* for Multiple Stacker Crane Scheduling
Energy reduction in paint shops through energy-sensitive on-off control
Energy and peak-power optimization of existing time-optimal robot trajectories
Diagnosability Verification Using Compositional Branching Bisimulation
Enhancing digital human motion planning of assembly tasks through dynamics and optimal control
Symbolic On-the-Fly Synthesis in Supervisory Control Theory
Modeling and Optimization of Hybrid Systems for the Tweeting Factory
Modeling and Optimization of Hybrid Systems
Optimization of hybrid Petri nets with shared variables
Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables
Optimal anti-aliasing filter based on multi criteria sampled-data ∞ control
Welcome message from general and program chairs
Improved Constructive Cooperative Coevolutionary Differential Evolution for Large-Scale Optimisation
Model based feedback control of gas tungsten arc welding - An experimental study
Simulation-based time and jerk optimisation for robotic press tending
Constructive cooperative coevolutionary optimisation for interacting production stations
Optimizing robot trajectories for automatic robot code generation
Energy Optimization of Multi-robot Systems
An Event-Driven Manufacturing Information System Architecture
Symbolic Supervisory Control of Timed Discrete Event Systems
From time-optimal schedule to robust event-based control
Resistance based iterative learning control of additive manufacturing with wire
AREUS — Innovative hardware and software for sustainable industrial robotics
Energy reduction in cyclic flow shop plants through on-off control of robots
Emissivity compensated spectral pyrometry-algorithm and sensitivity analysis
Emissivity compensated spectral pyrometry for varying emissivity metallic measurands
Verification of diagnosability based on compositional branching bisimulation
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
Resistance measurements for control of laser metal wire deposition
Modeling and Optimization of Synchronous Behavior for Packaging Machines
Supervisory Control for State-Vector Transition Models—A Unified Approach
Unified model for synthesis and optimization of discrete event and hybrid systems
On the Computation of Natural Observers for Extended Finite Automata
Supervisory control of manufacturing systems using extended finite automata
Towards Integrated OR/CP Energy Optimization for Robot Cells
Optimal Performance of Modular and Synchronized Mechatronic Systems
An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems
Supervisory Control of Discrete-Event Systems via IC3
Symbolic Representation and Computation of Timed Discrete-Event Systems
Patient coordination in emergency departments using an event-based information architecture
Verification of diagnosability based on compositional branching bisimulation
A constructive cooperative coevolutionary algorithm applied to press line optimisation
Model-free approaches for the energy minimization of robot trajectories
Symbolic Interpretation and Execution of Extended Finite Automata
A Gossip Algorithm for Home Healthcare Scheduling and Routing Problems
Flexible Specification of Operation Behavior Using Multiple Projections
Concurrent Design and Control of Automated Material Handling Systems
High-Level Scheduling of Energy Optimal Trajectories
Developing control logic using aspect-oriented programming and sequence planning
Operation Behavior Modeling using Relation Identification and Visualization Algorithms
Sustainable and Robust Control of Cyclic Pallet Systems
Event- and time-based design of operation sequences with uncertainties in execution times
Integrated OR/CP Optimization for Discrete Event Systems with Nonlinear Cost
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory
Patient coordination in emergency departments using visualization of operation behavior
Sustainable production automation - Energy optimization of robot cells
Automation in Green Manufacturing
A survey on efficient diagnosability tests for automata and bounded Petri nets
Benders/Gossip Methods for Heterogeneous Multi-Vehicle Routing Problems
Interface between SysML and Sequence Planner Language for Formal Verification
An efficient algorithm for press line optimisation
Energy Reduction in a Pallet-Constrained Flow Shop through On-Off Control of Idle Machines
Energy Efficient and Collision Free Motion of Industrial Robots using Optimal Control
Height control of laser metal-wire deposition based on iterative learning control and 3D scanning
Multi criteria Hinf optimal PID controllers from an undergraduate perspective
From task allocation towards resource allocation when optimising assembly systems
System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
Abstractions for nonblocking supervisory control of Extended Finite Automata
Optimization of Hybrid Systems with Known Paths
Sustainable and robust Control of Cyclic Pallet Systems
Supervisory Control of Extended Finite Automata Using Transition Projection
Numerical sensitivity of Linear Matrix Inequalities for shorter sampling periods
Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems
Numerical Sensitivity of Linear Matrix Inequalities Using Shift and Delta Operators
A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables
A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata
Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems
Time-synchronised hardware-in-the-loop simulation - Applied to sheet-metal press line optimisation
Model order reduction methods applied to a welding model
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
State-Vector Transition Model Applied to Supervisory Control
Optimization of operation sequences using constraint programming
Efficient Geometrical Simulation and Virtual Commissioning Performed in Stamping
Methods for Reliable Simulation-Based PLC Code Verification
Sequence Planning Using Multiple and Coordinated Sequences of Operations
Human operator and robot resource modeling for planning purposes in assembly systems
Planning in assembly systems – A common modeling for products and resources
From Task Allocation Towards Resource Allocation when Optimising Assembly Systems
Symbolic representation and computation of timed discrete event systems
Supervisory Control of Extended Finite Automata Using Transition Projection
Scheduling model for systems with complex alternative behaviour
A Universal Framework for Lean Design and Control of Automated Material Handling Systems
Energy optimization of trajectories for high level scheduling
Reduced-order synthesis of operation sequences
Planning transport sequences for flexible manufacturing systems
Symbolic Computation of Reduced Guards in Supervisory Control
Vendor independent control database for virtual preparation and formal verification
A faster collision detection method applied on a sheet metal press line
BDD-based supervisory control on extended finite automata
Sheet-metal press line parameter tuning using a combined DIRECT and Nelder-Mead algorithm
Analysis and evaluation of a general camera model
Green and lean control of cyclic pallet systems
Automated Generation of Discrete Event System Simulation Models for Flexible Automation
Generation of restart states for manufacturing cell controllers
Automatic Generation of Controllers for Collision-Free Flexible Manufacturing Systems
Sequence Planning for Integrated Product, Process and Automation Design
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers
Embedding detailed robot energy optimization into high-level scheduling
Optimal Design of a Decoupled Multiple-Loop Pallet System for Cyclic Flexible Manufacturing Plants
Increased stability in laser metal wire deposition through feedback from optical measurements
Relations Identification and Visualization for Sequence Planning and Automation Design
Restarting manufacturing systems; restart states and restartability
Supervisor Computation and Representation: A Case Study
Towards Sequence Planning Based on Configurable Product and Manufacturing System Platforms
Generation of restart states for manufacturing systems with discarded workpieces
A framework for automatic generation of interlocking functions for flexible manufacturing.
Operation-Oriented Specification for Integrated Control Logic Development
Optimal number of pallets for reconfigurable cyclic manufacturing plants
Formal verification of PLC controlled systems using sensor graphs
Evaluation and tuning of robust PID controllers
Simulation based optimization of a sheet-metal press line
Aspect-Oriented Programming for Manufacturing Automation Control Systems
Synthesis of Restart States for Manufacturing Cell Controllers
Non-conservative robust control: Optimized and constrained sensitivity functions
Specification of a Batch Plant using Process Algebra and Petri Nets
Camera Modelling and Calibration - with Applications
Solving Two Supervisory Control Benchmark Problems Using Supremica
Control design for automation of robotized laser metal-wire deposition
Generation of STEP AP214 models from discrete event systems for process planning and control
Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata
General Time Synchronisation Method for PLC Programs
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems
Specification of Production Systems Using PPN and Sequential Operation Charts
Evaluation and simple tuning of PID controllers with high-frequency robustness
Robust tuning of PI and PID controllers
Automatic Generation of Distributed Control Functions for Multi-Product Manufacturing Cells
Synthesis of Hierarchical and Distributed Control Functions for Multi-Product Manufacturing Cells
Hierachical control of flexible manufacturing systems applying information reuse
Semantics of sensor activation graphs
Coordinated operations by relation extraction for manufacturing cell controllers
Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams
Efficient Supervisory Synthesis of Large Systems
Hierarchical Control Applying Supervisor Synthesis and relation Extraction
Sensor activation graphs - A high level modeling formalism for discrete event systems
Restarting Flexible Manufacturing Systems; Synthesis of Restart States
On the execution of sequential function charts
Control architecture for flexible production systems
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Specification of a Batch Plant using Process Algebra and Petri Nets
Implementation of full synchronous composition using IEC 61499 function blocks
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs
Low Order Sampled Data Hinfty Control using the Delta Operator and LMIs
Efficient supervisory synthesis of large systems
Unified, periodic and sampled data Hinf control using the delta operator
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Feedforward feedback controller design for uncertain systems
Early Termination by Local String in Incremental Language Containment Tests
Feedforward feedback controller design for uncertain systems
Stability Analysis of Hybrid Systems -A Gearbox Application
Low Order Sampled-Data H_inf Control
Low Order Multicriteria Hinf Design via Bilinear Matrix Inequalities
Feedforward Feedback Controller Design for Uncertain Systems
Control Analysis for Non-Axisymmetric Reistive Wall Mode Stabilization in the DIII-D Tokamak
CHAMP - a Generic Architecture for Flexible Production
On the Choice of Sampling Period and Robust Pole Placement
Convenient, almost optimal and robust tuning of PI and PID Controllers
Modeling and Controller Synthesis for Resource Booking Problems using BDDs.
Modeling and Controller Synthesis for Resource Booking Problems using BDDs
Modelling and PLC-based Implementation of Modular Supervisory Control
Hybrid system stability and robustness verification using linear matrix inequalities
Physics and Control of Resistive Wall Modes
Global Controller Optimization Using Horowitz Bounds
H-infinity Loop Shaping for Mixed Continuous/Discrete-time Time-varying and Periodic Systems
Robust and optimal tuning of PI and PID Controllers
Robust and optimal tuning of PI and PID Controllers
Sampled-data H-inifinty control for hybrid systems
Two applications for hybrid H-infinity control: Generalised sampled-data and Loop-shaping
Active feedback stabilization of high-beta modes in tokamaks
Stabilization of Hybrid Systems using a Min-Projection Strategy
Sampled-Data H-infinity-Control for Time-Varying Hybrid Systems
On the Execution of Discrete Event Systems as Sequential Function Charts
Active control of MHD modes in magnetic confinement systems
Modeling and Specification of Discrete Event Systems using Combined Process Algebra and Petri Nets
Combined Process Algebra and Petri Nets for Specification of Resource Booking Problems
Generic Resource Booking Models in Flexible Cells
Multi criteria controller design for uncertain MIMO systes using nonconvex global optimization
Robust PI and PID Controllers including Smith Predictor Structure
Efficient Application of Symbolic Tools for Resource Booking Problems
Active Feedback Stabilization of High-Beta Modes in Advanced Tokamaks
H-inf control of uncertain systems using Horowitz bounds
On optimizing PID controllers for uncertain plants using Horowitz bounds
Prioritised Synchronous Composition of Inhibitor Arc Petri Nets
H-inf control of unstable uncertain plants using Horowitz bounds
Stability of Hybrid Systems using LMIs -- A Gear-box Application
Perspectives and Results on the Stability and Stabilizability of Hybrid Systems
Continuous-, discrete- and sampled-data H_inf control - A unified framework
From PI to H-inf control in a unified framework
Stability of limit cycles in hybrid systems using discrete-time Lyapunov techniques
Active feedback stabilization of high-beta modes in advanced Tokamaks
Stability and robustness of hybrid systems using discrete-time Lyapunov techniques
Hierarchical Supervisory Control for Batch Processes
Mixed continuous-/discrete-time output feedback H∞ control, a unified approach
Weight selection for H_inf control using genetic algorithms
Deadlock Detection and Controller Synthesis for Production Systems Using Partial Order Techniques
Frequency analysis for mixed continuous-time and discrete-time periodic systems
Synchronised Execution of Discrete Event Models Using Sequential Function Charts
Optimal PID Controllers including Rolloff and Smith Predictor Structure
Database Design for Machining Cell Resource Models
A Generic System Architecure for Flexible Production
Chalmers Architecture and Methodology for Flexible Production - Champ
Modeling Primitives and Specification Structures for Supervisory Control
Specification Structures for Supervisory Control
Optimal PID Controllers for unstable and resonant plants
Convergence to Limit Cycles in Hybrid Systems: An Example
Modeling, Specification and Controller Synthesis for Discrete Event Systems
Robust Design of PID Controllers including Auto-tuning Rules
Modeling Primitives for Supervisory Control
Hierarchical Supervisory Control for Batch Processes
Operator control activities in flexible manufacturing systems
LMI for Stability and Robustness of Hybrid Systems
State-Space Solution to the Multirate H-infinity Control Problem: A Lifting Approach
Passband and High Frequency robustness for PID Control
Performance and robust frequency response for multirate sampled-data systems
Exponential Stability Analysis of Nonlinear Systems using LMIs
An LMI Approach for Stability Analysis of Nonlinear Systems
Stability and Robustness of Nonlinear and Hybrid Systems Using LMIs
H-infinity Control of Multirate Sampled-Data Systems: A Riccati Equation Solution
Integrating Process Planning and Control for Flexible Production Systems
A Class of Non-Deterministic Specifications for Supervisory Control
Controller Design of Hybrid Systems
Sensitivity Functions for Sampled-Data Control
Hybrid Systems in Process Control
Frequency Analysis for Continuous-Time Systems Under Multi-rate Sampled Data Control
Time-optimal control and disturbance compensation for a class of hybrid systems
Concurrently competing production sequences - A case for nondeterministic supervisory control
On the Choice of Criteria and Weighting Functions for an H-infinity-design problem
Controlling and Coordinating Recipes in Batch Applications
Stability and robustness for hybrid systems
On nondeterministic supervisory control
Modelling, analysis, and synthesis of hybrid systems
Controlling and Coordinating Recipes in Batch Applications
Applying Supervisory Control to Discrete Event Systems Modeled by Object Oriented Principles
A Class of Nondeterministic Specifications for Supervisory Control
A Class of Nondeterministic Marked Specification for Supervisory Control
Frequency Analysis for Single and Multirate Sampled-Data Control
Guidelines for a generic message-based structure to obtain flexible cell control
Frequency analysis for sampled data control
Petri Net Constructs for High Level Operation Lists
Time-optimal control for a class of hybrid systems
Hybrid Modelling Focused on Hybrid Petri Nets
Controlling and Coordinating Recipes in Batch Applications
Dynamic Products in Control of an FMS Cell
Generic Resource Models and a Message-Passing Structure in an FMS Controller
Operator Control Activities in Manufacturing Systems - A Case Study of a Machining Cell
Control System Support for Manual Interaction in Flexible Manufacturing Systems
Plant and Product Models for Batch Processes
Towards a Truly Flexible Manufacturing System
Hybrid Modelling Focused on Hybrid Petri Nets
A Machining Cell Level Language for Product Specification
Database Design for Machining Cell Level Product Specification
Hybrid Modelling Focused on Hybrid Petri Nets
Towards a True Flexible Manufacturing System
Object Oriented Supervisory Control with a Class of Nondeterministic Specifications
Hybrid Systems in Process Control
Mixed Continuous-Time and Multirate Sampled-Data H-infinity Control
Time-optimal control for a class of hybrid systems
Hybrida system - modeller för analys och syntes (Hybrid systems - models for analysis and synthesis)
Petri Nets and Control Synthesis; An Object Oriented Approach
Distributed Objects for Real-Time Control Systems
Object Oriented Structuring of Real Time Control Systems
Control of Manufacturing Systems - An Object Oriented Approach
Object-Oriented Structuring of Real-Time Systems
Control of Manufacturing Systems - An Object Oriented Approach
Identification of Continuous Time-Delayed Models
On the Choice of Controller and Sampling Period for Linear Stochastic Control
Investigation of the Intersample Variance in Sampled-data Control
Sampled-data Control for Time-delayed Plants
Combining Infrequent and Indirect Measurements by Estimation and Control
Multirate Sampled-data Control of Two-time-scale Systems
Intersample Behaviour as Measured by Continuous-time Quadratic Criteria
Periodic Solutions of Riccati Equations Applied to Multirate Sampling
On the choice of controller and sampling period for linear stochastic control
On the design of stochastic control systems with multirate sampling
An investigation of the intersample variance for linear stochastic control.
Low order non-linear models for distributed parameter processes in industrial production
What happens in the moments between samplings?
Algorithms for time continuous quadratic performance functions in sampled-data control systems
On linear optimal control with infrequent output sampling
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
Showing 3 research projects
Systematic testing of cyber-physical systems (SyTeC)
Automation and Robotics for EUropean Sustainable manufacturing (AREUS)