Formal verification of bond graph modelled analogue circuits

Denman, William; Zaki, Mohamed H.; Tahar, Sofiène

doi:10.1049/iet-cds.2009.0221

Cited by 5 publications

(5 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Therefore, the output of the system T 8 , namely temperature of C 2, which is randomly selected and difficult to measure in reality, can be obtained as shown by equation (3). …”

Section: B Obtain Simplified State Space Equations Of Thermal Systemmentioning

confidence: 99%

“…For instance, reference [3] is about modeling of analogue circuits, reference [4] is about modeling of hydraulic system, references [5][6] are about the pseudo bond graph models of thermal system, references [7][8] introduce some bond graph modeling examples of thermal systems and references [9][10] are about the application of bond graph modeling method in multiple energy domains. All the above studies have illustrated that the bond graph modeling method is a very effective modeling tool.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A concise modeling methodology and its application in thermal system

Lu¹,

Chen²,

Zhang³

2015

Proceedings of the 2015 International Conference on Electrical, Automation and Mechanical Engineering

View full text Add to dashboard Cite

Abstract-The paper presents an interesting method for the derivation of transfer function from passive RCLnetworks (Resistance, Capacitance and Inductance) with a ladder structure. In this paper, circuit network modeling methodology is extended into thermal system. In order to apply directly the methodology to thermal system, firstly pseudo bond graph method, as an intermediary, is utilized to depict the model of thermal system, secondly the model is transformed into its equivalent circuit diagram, finally according to the methodology, the mathematical model in format of transfer function of thermal system can be rapidly obtained by observing circuit diagram alone. Through a modeling example of heat transfer in building envelope wall, it has been verified that the mathematical models obtained by circuit network modeling methodology and pseudo bond graph method are identical, but this methodology has the advantages of simplicity, convenience, rapidness and intuitiveness in manual derivation of transfer function of thermal system.

show abstract

“…Therefore, the output of the system T 8 , namely temperature of C 2, which is randomly selected and difficult to measure in reality, can be obtained as shown by equation (3). …”

Section: B Obtain Simplified State Space Equations Of Thermal Systemmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

A concise modeling methodology and its application in thermal system

Lu¹,

Chen²,

Zhang³

2015

Proceedings of the 2015 International Conference on Electrical, Automation and Mechanical Engineering

View full text Add to dashboard Cite

show abstract

“…Delayered Integrated Circuit (IC) image analysis through circuit extraction is one of the highly reliable approaches towards hardware assurance, such as failure analysis [1], functional verification [2], intellectual property protection [3] and counterfeits detection [4]. Circuit extraction typically requires several steps including IC package removal, imaging of delayered IC, annotation of circuit components, schematic read-back, and final analysis [5].…”

Section: Introductionmentioning

confidence: 99%

Delayered IC image analysis with template‐based Tanimoto Convolution and Morphological Decision

Cheng

Shi

Lin

et al. 2021

IET Circuits, Devices & Syst

View full text Add to dashboard Cite

Supervised machine learning techniques are being pursued for delayered Integrated Circuit (IC) image analysis. However, repetitive data labelling and model training are required for every image set with the supervised techniques. In view of the large scale of IC image set being analysed, techniques that require less human intervention are desired. In this paper, we propose a template-based Tanimoto Convolution and Morphological Decision (TCMD) model for transistor interconnection retrieval in delayered ICs, that is, poly line segmentation, with minimal human intervention. In our proposed TCMD model, prior domain knowledge on the IC images is incorporated into the proposed Tanimoto convolution for generating input feature maps, eliminating the need of filter learning. We further propose morphological decision to process the input feature maps for higher accuracy and robustness on determining poly line positions. With experiments on a delayered IC @90 nm process, our proposed TCMD model achieves 3%∼6% higher accuracy than the reported template-based techniques. Our proposed TCMD model also achieves competitive accuracy with the reported deep U-net while requiring 13� shorter training/validation time. To further improve the pixel-wise precision of the retrieved poly lines, which is important for applications such as analog circuit analysis, we propose a deep learning-based TCMD-PL model. The proposed TCMD-PL model utilises the output of TCMD model as the pseudo labels for training a deep convolutional neural network in supervised manner, and it is able to achieve further performance improvement of ∼4% in comparison to TCMD model without extra data labelling.This is an open access article under the terms of the Creative Commons Attribution-NonCommercial License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited and is not used for commercial purposes.

show abstract

“…Network reconfiguration, a technique based on changing ON/OFF status of sectionalising switches improves voltage stability of the power network and also manages the problems of overloading of network components. Numerous techniques such as conventional optimisation techniques, heuristic techniques and artificial intelligence techniques are used for network reconfiguration [24][25][26][27]. A proper reconfiguration scheme can reduce the power loss in the network.…”

Section: Introductionmentioning

confidence: 99%

Circuit theory approach for voltage stability assessment of reconfigured power network

Chitra¹,

Devarajan²

2014

IET Circuits, Devices & Systems

View full text Add to dashboard Cite

This study presents a circuit theory approach for voltage stability assessment in an interconnected power network. Here, an interconnected IEEE 14-bus network has been reconfigured into 12-, 10-and 8-bus networks using graph theory. The line index indicator has been used for voltage stability assessment under normal and faulted conditions for the original (IEEE 14-bus) and the reconfigured (12-, 10-and 8-bus) networks. Genetic algorithm tool in MATLAB has been used to determine the optimal operating condition with best voltage stability for the original and the reconfigured networks. The results have shown that the voltage stability assessment under normal and faulted conditions can be effectively determined for the reconfigured networks compared with the original network.

show abstract

Formal verification of bond graph modelled analogue circuits

Cited by 5 publications

References 28 publications

A concise modeling methodology and its application in thermal system

A concise modeling methodology and its application in thermal system

Delayered IC image analysis with template‐based Tanimoto Convolution and Morphological Decision

Circuit theory approach for voltage stability assessment of reconfigured power network

Contact Info

Product

Resources

About