Semantics of Sensor Activation Graphs

Author

Alenljung, Tord ; Lennartson, Bengt

Author_Institution

Dept. of Signals & Syst., Chalmers Univ. of Technol., Goteborg

fYear

2006

fDate

8-10 Oct. 2006

Firstpage

419

Lastpage

424

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/COASE.2006.326918

Filename

4120384