iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.dagstuhl.de/pid/96/1636.rss

dblp: Tord Alenljung https://dblp.org/pid/96/1636.html dblp person page RSS feed Thu, 25 Apr 2024 05:50:44 +0200 en-US daily 1 released under the CC0 1.0 license dblp@dagstuhl.de (dblp team) dblp@dagstuhl.de (dblp team) Computers/Computer_Science/Publications/Bibliographies http://www.rssboard.org/rss-specification https://dblp.org/img/logo.144x51.pngdblp: Tord Alenljunghttps://dblp.org/pid/96/1636.html14451 Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs.https://doi.org/10.1109/TCST.2011.2168607Tord Alenljung, Bengt Lennartson, Mona Noori Hosseini:
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. IEEE Trans. Control. Syst. Technol. 20(6): 1506-1521 (2012)]]>https://dblp.org/rec/journals/tcst/AlenljungLH12Sun, 01 Jan 2012 00:00:00 +0100 Formal verification of PLC controlled systems using Sensor Graphs.https://doi.org/10.1109/COASE.2009.5234187Tord Alenljung, Bengt Lennartson:
Formal verification of PLC controlled systems using Sensor Graphs. CASE 2009: 164-170]]>https://dblp.org/rec/conf/case/AlenljungL09Thu, 01 Jan 2009 00:00:00 +0100 PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems.https://doi.org/10.1109/COASE.2007.4341752Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson:
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. CASE 2007: 207-212]]>https://dblp.org/rec/conf/case/AlenljungSLA07Mon, 01 Jan 2007 00:00:00 +0100 Semantics of Sensor Activation Graphs.https://doi.org/10.1109/COASE.2006.326918Tord Alenljung, Bengt Lennartson:
Semantics of Sensor Activation Graphs. CASE 2006: 419-424]]>https://dblp.org/rec/conf/case/AlenljungL06Sun, 01 Jan 2006 00:00:00 +0100 Simplified modeling of manufacturing systems: an introduction to sensor activation graphs.https://doi.org/10.1109/COASE.2005.1506779Tord Alenljung, Bengt Lennartson:
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs. CASE 2005: 261-266]]>https://dblp.org/rec/conf/case/AlenljungL05Sat, 01 Jan 2005 00:00:00 +0100 Using Autonomous Modular Material Handling Equipment for Manufacturing Flexibility.http://www.informs-sim.org/wsc04papers/143.pdfBjörn Johansson, Edward J. Williams, Tord Alenljung:
Using Autonomous Modular Material Handling Equipment for Manufacturing Flexibility. WSC 2004: 1115-1121]]>https://dblp.org/rec/conf/wsc/JohanssonWA04Thu, 01 Jan 2004 00:00:00 +0100