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 specificationssystem validationgraph based knowledge representation and reasoninglogic functional diagram

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 1418458 (Why is no real title available?)
• 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

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