On Controller and Plant Modeling for Model-based Formal Verification

Lobov, Andrei; Lastra, José L. Martínez; Tuokko, Reijo

doi:10.1109/etfa.2005.1612510

Cited by 5 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The tool is part of a software tool set called the MOVIDA Tools Framework [1,13] developed at the Department of Production Engineering in the Tampere University of Technology.…”

Section: An Application Examplementioning

confidence: 99%

See 1 more Smart Citation

Extending Timed Net Condition/Event Systems with hybrid petri nets

Puttonen

Lobov

Lastra

2008

2008 6th IEEE International Conference on Industrial Informatics

View full text Add to dashboard Cite

This paper proposes extensions to an existing formalism used in discrete modeling of systems. The formalism is a Petri net based formalism called Timed Net Condition/Event System (TNCES). The goal of the extensions is to allow the modeling of hybrid systems that contain both discrete and continuous elements. The extended model is applied in modeling and analysis in the domain of factory automation. This demonstrates the validation of industrial systems composed of discrete logic controller(s) and a plant or a controlled object, which is typically hybrid in nature.

show abstract

“…The tool is part of a software tool set called the MOVIDA Tools Framework [1,13] developed at the Department of Production Engineering in the Tampere University of Technology.…”

Section: An Application Examplementioning

confidence: 99%

“…Traditional discrete modeling languages may prove cumbersome in some situations. Particularly, interconnecting the discrete approximation of the plant model and the controller model has proven problematic [1].…”

Section: Introductionmentioning

confidence: 99%