SwePub
Tyck till om SwePub Sök här!
Sök i SwePub databas

  Extended search

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

Search: WAKA:ref > Lennartson Bengt 1956 > Peer-reviewed

  • Result 1-10 of 338
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  •  
3.
  •  
4.
  • Adlemo, Anders, 1957, et al. (author)
  • Towards a True Flexible Manufacturing System
  • 1994
  • In: 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
  • Conference paper (peer-reviewed)
  •  
5.
  •  
6.
  • Al-Tashi, Mohammed, et al. (author)
  • Classroom-ready open-source educational exoskeleton for biomedical and control engineering
  • 2024
  • In: Automatisierungstechnik. - 0178-2312. ; 72:5, s. 460-475
  • Journal article (peer-reviewed)abstract
    • In recent years, robotic arm exoskeletons have emerged as promising tools, finding widespread application in the rehabilitation of neurological disorders and as assistive devices for everyday activities, even alleviating the physical strain on labor-intensive tasks. Despite the growing prominence of exoskeletons in everyday life, a notable knowledge gap exists in the availability of open-source platforms for classroom-ready usage in educational settings. To address this deficiency, we introduce an open-source educational exoskeleton platform aimed at Science, Technology, Engineering, and Mathematics (STEM) education. This platform represents an enhancement of the commercial EduExo Pro by AUXIVO, tailored to serve as an educational resource for control engineering and biomedical engineering courses.
  •  
7.
  • Alenljung, Tord, 1977, et al. (author)
  • Formal verification of PLC controlled systems using sensor graphs
  • 2009
  • In: 2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India. - 9781424445783 ; , s. 164-170
  • Conference paper (peer-reviewed)abstract
    • This paper describes how a system, consisting of a discrete controller (e.g. a PLC) that controls a physical plant/process, can be formally verified. The physical process is assumed to be modeled using Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e.g. RFID). The formal and graphical syntaxes of Sensor Graphs are presented and exemplified. The "semitimed" semantics is defined considering a process model together with a controller model, represented as a discrete state equation. Finally, it is shown how requirements on the closedloop system, represented by a Sensor Graph and a controller model, can be verified using the model checker Cadence SMV.
  •  
8.
  •  
9.
  • Alenljung, Tord, 1977, et al. (author)
  • Semantics of sensor activation graphs
  • 2006
  • In: Proceedings of the 2006 IEEE Conference on Automation Science and Engineering, Shanghai, China.
  • Conference paper (peer-reviewed)
  •  
10.
  • Alenljung, Tord, 1977, et al. (author)
  • Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs
  • 2012
  • In: IEEE Transactions on Control Systems Technology. - : Institute of Electrical and Electronics Engineers (IEEE). - 1063-6536 .- 1558-0865. ; 20:6, s. 1506-1521
  • Journal article (peer-reviewed)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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-10 of 338
Type of publication
conference paper (248)
journal article (89)
research review (1)
Type of content
peer-reviewed  (338)Undo refine
Author/Editor
Lennartson, Beng... (338)Undo refine
Fabian, Martin, 1960 (70)
Bengtsson, Kristofer ... (39)
Wigström, Oskar, 198 ... (28)
Falkman, Petter, 197 ... (26)
Christiansson, Anna- ... (23)
show more...
Åkesson, Knut, 1972 (22)
Miremadi, Sajed, 198 ... (20)
Fransson, Carl-Magnu ... (18)
Riazi, Sarmad, 1986 (18)
Danielsson, Fredrik, ... (17)
Svensson, Bo, 1959- (16)
Andreasson, Sven Arn ... (14)
Gullander, Per, 1968 (14)
Pettersson, Stefan, ... (14)
Tittus, Michael, 196 ... (14)
Adlemo, Anders, 1957 (12)
Noori-Hosseini, Mona ... (11)
Kristiansson, Birgit ... (11)
Andersson, Kristin, ... (10)
Vahidi Mazinani, Ara ... (10)
Hellgren, Anders, 19 ... (10)
Fei, Zhennan, 1984 (10)
Sundström, Nina, 198 ... (10)
Carlson, Johan, 1972 (9)
Bondeson, Anders, 19 ... (9)
Breitholtz, Claes, 1 ... (9)
Mashaei, Maziar, 197 ... (9)
Liu, Yueqiang, 1971 (8)
Yuan, Chengyin (8)
Sikström, Fredrik, 1 ... (7)
Cronrath, Constantin ... (7)
Wik, Torsten, 1968 (6)
Björkenstam, Staffan ... (6)
Gleeson, Daniel, 198 ... (6)
Heralic, Almir, 1981 ... (6)
Toivonen, H.T. (6)
Hovgard, Mattias, 19 ... (6)
Lindgärde, Olof, 196 ... (6)
Alenljung, Tord, 197 ... (5)
Richardsson, Johan, ... (5)
Thorstensson, Carl, ... (5)
Provost, Julien, 198 ... (5)
Glorieux, Emile (5)
Kanthabhabhajeya, Sa ... (5)
Nielsen, Johan (4)
Danielsson, Fredrik (4)
Hagebring, Fredrik, ... (4)
Gutman, Per-Olof, 19 ... (4)
Glorieux, Emile, 198 ... (4)
show less...
University
Chalmers University of Technology (327)
University West (39)
Royal Institute of Technology (6)
Lund University (2)
University of Gothenburg (1)
Mälardalen University (1)
show more...
University of Borås (1)
RISE (1)
show less...
Language
English (338)
Research subject (UKÄ/SCB)
Natural sciences (212)
Engineering and Technology (183)
Medical and Health Sciences (2)
Agricultural Sciences (1)
Social Sciences (1)

Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view