Kristofer Bengtsson
Showing 70 publications
Structural Coverability for Intelligent Automation Systems
Fault localization for intelligent automation systems
Energy reduction of stochastic time-constrained robot stations
Sequence Planner: A Framework for Control of Intelligent Automation Systems
Energy-Optimal Timing of Stochastic Robot Stations in Automotive Production Lines
Interactive formal specification for efficient preparation of intelligent automation systems
Energy Optimization of Large-Scale AGV Systems
Evaluation of high level methods for efficient planning as satisfiability
Applied energy optimization of multi-robot systems through motion parameter tuning
Development of an Industry 4.0 Demonstrator Using Sequence Planner and ROS2
Online Energy-Optimal Timing of Stochastic Robot Stations
Towards safe human robot collaboration - Risk assessment of intelligent automation
Instability Problems in Co-Simulation of Modular Systems
Guard extraction for modeling and control of a collaborative assembly station
Towards compositional automated planning
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations
Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation
Control components for Collaborative and Intelligent Automation Systems
Simulation based energy optimization of robot stations by motion parameter tuning
A framework concept for data visualization and structuring in a complex production process
Energy-Optimal Timing of Robot Stations Subject to Gaussian Disturbances
Scheduling and routing of agvs for large-scale flexible manufacturing systems
SMT solvers for flexible job-shop scheduling problems: A computational analysis
Integrated virtual commissioning of a ROS2-based collaborative and intelligent automation system
A Column Generation-Based Gossip Algorithm for Home Healthcare Routing and Scheduling Problems
Parallelization of a gossip algorithm for vehicle routing problems
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation
Requirements for designing and controlling autonomous collaborative robots system-an industrial case
Data Flow and Communication Framework Supporting Digital Twin for Geometry Assurance
Real-time Visualization of Robot Operation Sequences
Reinforcement learning in real-time geometry assurance
An event-driven manufacturing information system architecture for Industry 4.0
Energy and Peak Power Optimization of Time-Bounded Robot Trajectories
Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning
Decomposition and distributed algorithms for home healthcare routing and scheduling problem
From trapezoid to polynomial: Next-generation energy-efficient robot trajectories
Energy and Peak-power Optimization of Time-bounded Robot Trajectories
Modeling and Optimization of Hybrid Systems for the Tweeting Factory
Energy and peak-power optimization of existing time-optimal robot trajectories
Energy Optimization of Multi-robot Systems
Optimization of hybrid Petri nets with shared variables
Modeling and Optimization of Hybrid Systems
AREUS — Innovative hardware and software for sustainable industrial robotics
An Event-Driven Manufacturing Information System Architecture
A Gossip Algorithm for Home Healthcare Scheduling and Routing Problems
Managing product and production variety - A language workbench approach
Patient coordination in emergency departments using an event-based information architecture
Flexible Specification of Operation Behavior Using Multiple Projections
Patient coordination in emergency departments using visualization of operation behavior
Developing control logic using aspect-oriented programming and sequence planning
Operation Behavior Modeling using Relation Identification and Visualization Algorithms
Sequence Planning Using Multiple and Coordinated Sequences of Operations
Flexible design of operation behavior using modeling and visualization
Planning transport sequences for flexible manufacturing systems
Reduced-order synthesis of operation sequences
Towards Sequence Planning Based on Configurable Product and Manufacturing System Platforms
Sequence Planning for Integrated Product, Process and Automation Design
Operation Specification for Sequence Planning and Automation Design
Relations Identification and Visualization for Sequence Planning and Automation Design
Operation-Oriented Specification for Integrated Control Logic Development
Aspect-Oriented Programming for Manufacturing Automation Control Systems
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 2 research projects
CRAFT-Collaborative-Robot Assistant for Technicians
Automation and Robotics for EUropean Sustainable manufacturing (AREUS)