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

DOI10.1007/978-3-031-11321-5_4MaRDI QIDQ2103904zbMATH OpenOpenAlexFDO

Authors 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 specificationsgraph based knowledge representation and reasoninglogic functional diagramsystem validation

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

• A theory of timed automata
• Analysis of cyclic combinational circuits
• scientific article; zbMATH DE number 1418458 (Why is no real title available?)
• Testing timed automata

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2103904)