Login / Signup
Johan Jacobs
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 1
Top Topics
Resource Sharing
Manufacturing Processes
Controller Design
Wafer Fabrication
Top Venues
FDL
MoDELS
MEMOCODE
</>
Publications
</>
Bram van der Sanden
,
João Bastos
,
Jeroen Voeten
,
Marc Geilen
,
Michel A. Reniers
,
Twan Basten
,
Johan Jacobs
,
Ramon R. H. Schiffelers
Compositional specification of functionality and timing of manufacturing systems.
FDL
(2016)
João Bastos
,
Sander Stuijk
,
Jeroen Voeten
,
Ramon R. H. Schiffelers
,
Johan Jacobs
,
Henk Corporaal
Modeling resource sharing using FSM-SADF.
MEMOCODE
(2015)
Bram van der Sanden
,
Michel A. Reniers
,
Marc Geilen
,
Twan Basten
,
Johan Jacobs
,
Jeroen Voeten
,
Ramon R. H. Schiffelers
Modular model-based supervisory controller design for wafer logistics in lithography machines.
MoDELS
(2015)