Title :
Semantics of Sensor Activation Graphs
Author :
Alenljung, Tord ; Lennartson, Bengt
Author_Institution :
Dept. of Signals & Syst., Chalmers Univ. of Technol., Goteborg
Abstract :
This paper presents the behavioral semantics of the high level modeling formalism sensor activation graphs (SAG). SAG simplifies discrete event modeling of physical systems with binary input and output signals, typically manufacturing systems. The SAG framework is object oriented and contains several convenient features that is believed to make formal modeling manageable even for full-size manufacturing systems. An algorithm for transforming a SAG model into finite state automata is presented, which enables formal verification and synthesis
Keywords :
control engineering computing; discrete event systems; formal verification; manufacturing systems; object-oriented methods; production control; production engineering computing; programming language semantics; behavioral semantics; discrete event modeling; finite state automata; formal verification; full-size manufacturing systems; physical systems; sensor activation graphs; Automatic control; Control system synthesis; Learning automata; Manufacturing systems; Mathematical model; Object oriented modeling; Power system modeling; Sensor phenomena and characterization; Sensor systems; Signal synthesis;
Conference_Titel :
Automation Science and Engineering, 2006. CASE '06. IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
1-4244-0310-3
Electronic_ISBN :
1-4244-0311-1
DOI :
10.1109/COASE.2006.326918
