A graph based semantics for logical functional diagrams in power plant controllers

DOI10.1007/978-3-031-11321-5_4OpenAlexW4285302286MaRDI QIDQ2103904

Aziz Sfar, Madalina Croitoru, Dina Alina Irofti

Publication date: 9 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_4

zbMATH Keywords

functional specificationssystem validationgraph based knowledge representation and reasoninglogic functional diagram

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• Unnamed Item
• A theory of timed automata
• Analysis of cyclic combinational circuits
• Testing timed automata

This page was built for publication: A graph based semantics for logical functional diagrams in power plant controllers