Adnan Khan

Doctoral Student at Automation

Adnan Khan is a Ph.D. student in the Automation research group, working on the research project related to Virtual Commissioning. Adnan's research focuses on specification of reusable logic with restart and safety functionality, as achieving the efficient restart functionality will reduce the downtime of the factory . Adnan is also a teaching assistant for automation engineering students.

Image of Adnan Khan

Showing 7 publications


Testing and validation of safety logic in the virtual environment

Adnan Khan, Petter Falkman, Martin Fabian
CIRP Journal of Manufacturing Science and Technology
Journal article

On-the-fly conformance testing of safety PLC code using QuickCheck

Adnan Khan, David Thonnessen, Martin Fabian
IEEE International Conference on Industrial Informatics (INDIN). Vol. 2019-July, p. 419-424
Paper in proceeding

On the Safe IOCOS relation for Testing Safety PLC Code

Adnan Khan, Martin Fabian
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Vol. 2019-September, p. 1449-1452
Paper in proceeding

Digital Twin for Legacy Systems: Simulation Model Testing and Validation

Adnan Khan, Martin Dahl, Petter Falkman et al
IEEE International Conference on Automation Science and Engineering. Vol. 2018-August, p. 421-426
Paper in proceeding

Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety

Adnan Khan, Petter Falkman, Martin Fabian
CASE conference, 20-August-2017, Xian, China
Paper in proceeding

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

There are no projects.
There might be more projects where Adnan Khan participates, but you have to be logged in as a Chalmers employee to see them.