Kristofer Bengtsson
Visar 70 publikationer
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
Reduced-order synthesis of operation sequences
Planning transport sequences for flexible manufacturing systems
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
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 2 forskningsprojekt
CRAFT-Collaborative-Robot Assistant for Technicians
Automation and Robotics for EUropean Sustainable manufacturing (AREUS)