Results 1 
8 of
8
Modelbased diagnosis of hybrid systems
, 2002
"... Abstract—Techniques for diagnosing faults in hybrid systems that combine digital (discrete) supervisory controllers with analog (continuous) plants need to be different from those used for discrete or continuous systems. This paper presents a methodology for online tracking and diagnosis of hybrid s ..."
Abstract

Cited by 40 (18 self)
 Add to MetaCart
Abstract—Techniques for diagnosing faults in hybrid systems that combine digital (discrete) supervisory controllers with analog (continuous) plants need to be different from those used for discrete or continuous systems. This paper presents a methodology for online tracking and diagnosis of hybrid systems. We demonstrate the effectiveness of the approach with experiments conducted on the fueltransfer system of fighter aircraft. Index Terms—Fault detection and isolation, hybrid systems, modelbased diagnosis (MBD). I.
Coinductive Proofs for Streams in PVS ⋆
"... Abstract. WepresentanimplementationinthetheoremproverPVS of coinductive stream calculus. Stream calculus can be used to model signal flow graphs, and thus provides a nice mathematical foundation for reasoning about properties of signal flow graphs, which are again used to model a variety of systems ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. WepresentanimplementationinthetheoremproverPVS of coinductive stream calculus. Stream calculus can be used to model signal flow graphs, and thus provides a nice mathematical foundation for reasoning about properties of signal flow graphs, which are again used to model a variety of systems such as digital signal processing. We show how proofs by coinduction are used to prove equality of streams, and present a strategy to do this automatically. 1
Two Level Performance Estimator for High Level Synthesis of Analog Integrated Circuits with Feedback
"... In this paper, we present a technique for estimating the gain, bandwidth, power and area of analog integrated circuits. A twostep approach is adopted to speed up the estimation process and handle larger analog systems. In the first step, the performance of basic analog components is estimated using ..."
Abstract
 Add to MetaCart
In this paper, we present a technique for estimating the gain, bandwidth, power and area of analog integrated circuits. A twostep approach is adopted to speed up the estimation process and handle larger analog systems. In the first step, the performance of basic analog components is estimated using a knowledgebased approach. Then, component models are generated with the estimates produced at this phase. In the second phase, we use a symbolic analysis methodology to evaluate the performance at the system level. The system netlist is represented by a signal flow graph (SFG) using the component models generated at the previous phase. The SFG approach allows to handle feedback loops at the system level. 1 Introduction The analog synthesis process consists of two phases: topology selection and circuit sizing [1]. During the topology selection process, a netlist of components selected from a predefined library is generated. The generated topology should meet the specification requirem...
An Algebraic Approach to Signal Flow Graph Theory
, 1992
"... Techniques from algebra and graph theory are employed as interconnected systems are studied from an abstract point of view. A theory of signal flow graphs over rings is developed which embodies aspects of the theory of linear equations over rings most relevant to largescale systems. The classic gai ..."
Abstract
 Add to MetaCart
Techniques from algebra and graph theory are employed as interconnected systems are studied from an abstract point of view. A theory of signal flow graphs over rings is developed which embodies aspects of the theory of linear equations over rings most relevant to largescale systems. The classic gain formulas of Mason and Riegle are shown to be valid for systems over a commutative and noncommutative ring respectively. A new sufficient condition for existence and uniqueness is introduced, namely, if the cycle products are contained in the Jacobson radical, then the system of linear equations has a unique solution, and the corresponding signal flow graph admits a unique reduction. The technique of ring localization allows the complete characterization of a family of signal flow graphs whose edge operators are in a certain ring and whose cycle products are in a certain ideal. 3 Contents 1
A PVS Implementation of Stream Calculus
, 2005
"... We present early work on a PVS implementation of a model of simple control as signal flow graphs to enable formal verification of input/output behaviour of the control system. As has been shown by Rutten, Signal flow graphs can be described using Escardo's coinductive stream calculus, which incl ..."
Abstract
 Add to MetaCart
We present early work on a PVS implementation of a model of simple control as signal flow graphs to enable formal verification of input/output behaviour of the control system. As has been shown by Rutten, Signal flow graphs can be described using Escardo's coinductive stream calculus, which includes a definition of di#erentiation for streams over the real numbers and the use of di#erential equations. The basics of coinductive stream calculus has been implemented in PVS.
Prepared using rsifpublic.cls J. R. Soc. Lond. Interface (0000)
"... Topology and static response of interaction networks in molecular biology ..."
Abstract
 Add to MetaCart
Topology and static response of interaction networks in molecular biology
ON NETWORK MODELS AND THE SYMBOLIC SOLUTION OF NETWORK EQUATIONS
"... This paper gives an overview of the formulation and solution of network equations, with emphasis on the historical development of this area. Networks are mathematical models. The three ingredients of network descriptions are discussed. It is shown how the network equations of onedimensional multip ..."
Abstract
 Add to MetaCart
This paper gives an overview of the formulation and solution of network equations, with emphasis on the historical development of this area. Networks are mathematical models. The three ingredients of network descriptions are discussed. It is shown how the network equations of onedimensional multiport networks can be formulated and solved symbolically. If necessary, the network graph is modified so as to obtain an admittance representation for all kinds of multiports. Ndimensional networks are defined as graphs with the algebraic structure of Ndimensional vectors. In civil engineering, framed structures in two and three spatial dimensions can be modeled as 3dimensional or 6dimensional networks. The separation of geometry from topology is a characteristic feature of such networks.
Madame Edwige PISSALOUX
, 2012
"... As a SinoFrench Joint PhD student, I wish to express my sincere appreciation to my thesis advisors, Prof. Hong Sun and Prof. KunMean Hou for their encouragement, guidance and support during this effort. It has been a great pleasure to learn from them during the process of my research. I want to ex ..."
Abstract
 Add to MetaCart
As a SinoFrench Joint PhD student, I wish to express my sincere appreciation to my thesis advisors, Prof. Hong Sun and Prof. KunMean Hou for their encouragement, guidance and support during this effort. It has been a great pleasure to learn from them during the process of my research. I want to express my deep gratitude to Prof. Xin Xu, for his support and inspiring guidance for the years I spent in Wuhan University. Much thanks go to Dr. Wen Yang, Dr. Chu He, Mrs. Li Su for their help and encouragement. I also like to express my gratefulness to Dr. JianJin Li, for her continuous encouragements help during my PhD study period in the LIMOS laboratory of Blaise Pascal University. I am thankful to my collaborator, Jacques Lecoq for his insightful discussions and valuable suggestions for supporting the chip design. I am thankful to my classmates of Wuhan University, especially Xin Lu for her encouragement. I would like to thank Ge Xu, Hang Dong and Jiayu Chen. To all other PhD students of signal processing and modern communication laboratory (SPMC).