Bengt Lennartson

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