SwePub
Sök i SwePub databas

  Utökad sökning

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

Sökning: WAKA:ref > Lennartson Bengt 1956

Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  •  
4.
  • Adlemo, Anders, 1957-, et al. (författare)
  • Towards a True Flexible Manufacturing System
  • 1994
  • Ingår i: Proc of the 10th ISPE/IFAC Int. Conference on CAD/CAM, Robotics and Factories of the Future, CARS & FOF '94, Ottawa, Canada. ; s. 401-410
  • Konferensbidrag (refereegranskat)
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  • Alenljung, Tord, 1977-, et al. (författare)
  • Semantics of sensor activation graphs
  • 2006
  • Ingår i: Proceedings of the 2006 IEEE Conference on Automation Science and Engineering, Shanghai, China.
  • Konferensbidrag (refereegranskat)
  •  
9.
  • Alenljung, Tord, 1977-, et al. (författare)
  • Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
  • 2012
  • Ingår i: IEEE Transactions on Control Systems Technology. - 1063-6536. ; 20:6, s. 1506-1521
  • Tidskriftsartikel (refereegranskat)abstract
    • This paper introduces Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e. g., RFID). The aim of Sensor Graphs is to simplify the modeling of the plant/process that is to be controlled by a discrete controller, for example a programmable logic controller (PLC); thereby making formal verification and other model-based formal methods more applicable for PLC programmers. The formal syntax and semantics of Sensor Graphs are defined and a compact graphical representation is presented. The language is exemplified by modeling a conveyor module and a lab process. For comparison, the latter is also modeled using Statecharts and Net Condition/Event systems. A controller, modeled as a discrete state equation, can be composed with a Sensor Graph of the process in order to form a model of the closed-loop system. It is demonstrated how requirements on such a closed-loop system, based on a PLC program and a Sensor Graph process model, can be formally verified using the model checker Cadence SMV.
  •  
10.
  • Alenljung, Tord, 1977-, et al. (författare)
  • Simplified modeling of manufacturing systems: an introduction to sensor activation graphs
  • 2005
  • Ingår i: Automation Science and Engineering, 2005. IEEE International Conference on. ; s. 261-266
  • Konferensbidrag (refereegranskat)abstract
    • This paper presents a graphical modeling formalism, sensor activation graphs, which simplifies the design of discrete event models for a class of physical systems common within manufacturing industry. Sensor activation graphs captures, in an intuitive way, the relations between binary sensors, the physical entities that activate them, and the actuators of the system. Models expressed as sensor activation graphs are in most cases significantly simpler than corresponding automata or Petri net models. The presented formalism support two levels of detail, one that gives the general view on the order of sensor activation, and one with full control semantics that incorporates guard conditions on transitions. In addition, an algorithm for converting sensor activation graphs into a number of small deterministic finite state automata is presented.
  •  
Skapa referenser, mejla, bekava och länka
Åtkomst
fritt online (49)
Typ av publikation
konferensbidrag (184)
tidskriftsartikel (53)
Typ av innehåll
refereegranskat (237)
Författare/redaktör
Fabian, Martin, 1960 ... (68)
Falkman, Petter, 197 ... (23)
Åkesson, Knut, 1972- ... (19)
Fransson, Carl-Magnu ... (18)
Miremadi, Sajed, 198 ... (16)
visa fler...
Pettersson, Stefan, ... (15)
Tittus, Michael, 196 ... (15)
Andreasson, Sven-Arn ... (14)
Gullander, Per, 1968 ... (14)
Christiansson, Anna- ... (14)
Bengtsson, Kristofer ... (13)
Adlemo, Anders, 1957 ... (12)
Kristiansson, Birgit ... (12)
Andersson, Kristin, ... (10)
Vahidi, Arash, 1974- (10)
Hellgren, Anders, 19 ... (10)
Bondeson, Anders, 19 ... (9)
Breitholtz, Claes, 1 ... (9)
Liu, Yueqiang, 1971- ... (8)
Mashaei, Maziar, 197 ... (8)
Wigström, Oskar, 198 ... (8)
Toivonen, H.T. (7)
Fei, Zhennan, 1984-, (7)
Shoaei, Mohammad Rez ... (7)
Wik, Torsten, 1968-, (6)
Alenljung, Tord, 197 ... (5)
Richardsson, Johan, ... (5)
Yuan, Chengyin (5)
Christiansson, A. K. (5)
Lindgärde, Olof, 196 ... (5)
Noori Hosseini, Mona ... (4)
Thorstensson, Carl, ... (4)
Stahre, Johan, 1961- ... (4)
Fasth, Åsa, 1978-, (4)
Danielsson, Fredrik, ... (4)
Gutman, Per-Olof (4)
Provost, Julien, 198 ... (4)
Sundström, Nina, 198 ... (4)
Söderström, T, (3)
Egardt, Bo, 1950-, (3)
Feng, Lei, (3)
Gribov, Y. (3)
Danielsson, Fredrik (3)
Nielsen, Johan (3)
Sikström, Fredrik, 1 ... (3)
Kanthabhabhajeya, Sa ... (3)
Abbestam, Göran (3)
Pellicciari, M. (3)
Leali, F. (3)
visa färre...
Lärosäte
Chalmers tekniska högskola (233)
Högskolan Väst (13)
Högskolan i Borås (1)
Göteborgs universitet (1)
Språk
Engelska (237)
Ämne (HSV)
Naturvetenskap (165)
Teknik (67)

År

 
pil uppåt Stäng

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