Petter Falkman
Petter Falkman is Associate Professor in the Automation research group.
Showing 68 publications
Intended Human Arm Movement Direction Prediction using Eye Tracking
Sequence Planner: A Framework for Control of Intelligent Automation Systems
Interactive formal specification for efficient preparation of intelligent automation systems
Evaluation of high level methods for efficient planning as satisfiability
Human Movement Direction Prediction using Virtual Reality and Eye Tracking
Development of an Industry 4.0 Demonstrator Using Sequence Planner and ROS2
Modular Virtual Preparation method of production systems using a Digital Twin architecture
A standardization approach to Virtual Commissioning strategies in complex production environments
Guard extraction for modeling and control of a collaborative assembly station
Human Movement Direction Classification using Virtual Reality and Eye Tracking
Towards compositional automated planning
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations
Control components for Collaborative and Intelligent Automation Systems
A framework concept for data visualization and structuring in a complex production process
Event-driven industrial robot control architecture for the Adept V+ platform
Integrated virtual commissioning of a ROS2-based collaborative and intelligent automation system
Scheduling and routing of agvs for large-scale flexible manufacturing systems
EPypes: a framework for building event-driven data processing pipelines
Testing and validation of safety logic in the virtual environment
Flexible image acquisition service for distributed robotic systems
Cognitive Ability Evaluation using Virtual Reality and Eye Tracking
On the Equivalence of Controllability and the Input Output Conformance Testing Relation
Towards Automatic Learning of Discrete-Event Models from Simulations
Real-time Visualization of Robot Operation Sequences
Digital Twin for Legacy Systems: Simulation Model Testing and Validation
Towards increased intelligence and automatic improvement in industrial vision systems
Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning
Virtual Reality Commissioning in Production Systems Preparation
Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety
Error handling within highly automated automotive industry: Current practice and research needs
Vision-based robotic system for picking and inspection of small automotive components
Discrete event dataflow as a formal approach to specification of industrial vision systems
Modeling and automatic calculation of restart states for an industrial windscreen mounting station
Interface between SysML and Sequence Planner Language for Formal Verification
Sequence Planning Using Multiple and Coordinated Sequences of Operations
Optimization of operation sequences using constraint programming
Modeling and Optimization of Energy Consumption in Cooperative Multi-Robot Systems
System Modeling Specification in SysML and Sequence Planner Language - Comparison Study
Generation of restart states for manufacturing cell controllers
Vendor independent control database for virtual preparation and formal verification
Automatic generation: A way of ensuring PLC and HMI standards
Planning transport sequences for flexible manufacturing systems
Relations Identification and Visualization for Sequence Planning and Automation Design
Sequence Planning for Integrated Product, Process and Automation Design
Embedding detailed robot energy optimization into high-level scheduling
Operation-Oriented Specification for Integrated Control Logic Development
Verification of Operation Sequences in Process Simulate by Connecting a Formal Verification Tool
Specification of a Batch Plant using Process Algebra and Petri Nets
Generation of restart states for manufacturing systems with discarded workpieces
Generation of STEP AP214 models from discrete event systems for process planning and control
Specification of Production Systems Using PPN and Sequential Operation Charts
Control architecture for flexible production systems
Specification of a Batch Plant using Process Algebra and Petri Nets
Specification of Resource Allocation Systems; a STEP towards a unified framework
Multi.Viewpoint Modeling of the Innovation System - Using a Hermeneutic Method.
Modeling and Controller Synthesis for Resource Booking Problems using BDDs
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
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 10 research projects
CLOUDS: intelligent algorithms to support circular solutions for sustainable production systems
UNICORN - Sustainable, Peaceful and Efficient Robotic Refuse Handling
ITEA3, Smart Prognos av Energianvändning med resursfördelning, SPEAR
Virtual Commissioning of Vehicle Maintenance Operations, UNIFICATION
RObot based Autonomous Refuse handling (ROAR)
Virtual Commissioning of Production Systems - including PLC logics
AProC - Automated Process Controll BIW
An Internet-based Collaborative Platform for Managing Manufacturing Knowledge (Know4Car)