SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WAKA:ref ;pers:(Lennartson Bengt 1956);pers:(Nielsen Johan)"

Sökning: WAKA:ref > Lennartson Bengt 1956 > Nielsen Johan

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Falkman, Petter, 1972-, et al. (författare)
  • Automatic Generation of Object Models for Process Planning and Control Purposes using an International standard for Information Exchange
  • 2003
  • Ingår i: Journal of Systemics, Cybernetics and Informatics. - 1690-4524. ; 1:5
  • Tidskriftsartikel (refereegranskat)abstract
    • In this paper a formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process and resource information exchange, (ISO 10303-214). The dynamic models are described as Discrete Event Systems. The product, process and resource information is automatically converted into product routes and used for simulation, controller synthesis and verification. A high level language, combining Petri nets and process algebra, is presented and used for speci- fication of desired routes. A main implication of the presented method is that it enables the reuse of process information when creating dynamic models for process control. This method also enables simulation and verification to be conducted early in the development chain.
  •  
3.
  • Falkman, Petter, 1972-, et al. (författare)
  • Automatic generation of object models for process planning and control purposes using an international standard for information exchangeAutomatic Generation of Object Models
  • 2003
  • Ingår i: Proceedings of the 7th World Multiconference on Systemics, cybernetics and Informatics. ; XIII, s. 382-387
  • Konferensbidrag (refereegranskat)abstract
    • A formal mapping between static information models and dynamic models is presented. The static information models are given according to an international standard for product, process, and resource information exchange, (ISO 10303-214). The dynamic models are described as Discrete Event Systems. The product, process and resource information is automatically converted into product routes and used for simulation, controller synthesis and verification. A high level language, which combines Petri nets and process algebra, is presented and used for specification of desired routes. A main implication of the presented methodology is to enable the reuse of process information when creating dynamic models for process control. This methododology also enables simulation and verification to be conducted early in the development chain.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3
Typ av publikation
konferensbidrag (2)
tidskriftsartikel (1)
Typ av innehåll
refereegranskat (3)
Författare/redaktör
Falkman, Petter, 197 ... (3)
Lärosäte
Chalmers tekniska högskola (3)
Språk
Engelska (3)
Ämne (HSV)
Naturvetenskap (3)

År

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy