Results 1  10
of
24
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 56 (22 self)
 Add to MetaCart
(Show Context)
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.
Circuit complexity reduction for symbolic analysis of analog integrated circuits
 in Proc. DAC
, 1999
"... This paper presents a method to reduce the complexity of a linear or linearized (smallsignal) analog circuit. The reduction technique, based on qualityerror ranking, can be used as a standard reduction engine that ensures the validity of the resulting network model in a specific (set of) design po ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
This paper presents a method to reduce the complexity of a linear or linearized (smallsignal) analog circuit. The reduction technique, based on qualityerror ranking, can be used as a standard reduction engine that ensures the validity of the resulting network model in a specific (set of) design point(s) within a given frequency range and a given magnitude and phase error. It can also be used as an analysis engine to extract symbolic expressions for poles and zeroes. The reduction technique is driven by analysis of the signal flow graph associated with the network model. Experimental results show the effectiveness of the approach. 1
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
(Show Context)
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
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 ..."
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.
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
(Show Context)
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).
To cite this version:
, 2007
"... HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte p ..."
Abstract
 Add to MetaCart
(Show Context)
HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Prepared using rsifpublic.cls J. R. Soc. Lond. Interface (0000) DOI: 10.1098/rsif0000.0000 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
(Show Context)
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.
Intelligent Power Management for Autonomous UAV Systems
"... Since the first UAV (Dayton Wright Liberty Eagle) which made its first flight in 1918 with an endurance of one hour and a ceiling of 12,000 ft, UAVs can now fly for just under 32 hours (RQ4A Global Hawk) and reach a ceiling of 100,000 ft (Helios). In addition the increasing number of UAVs which are ..."
Abstract
 Add to MetaCart
(Show Context)
Since the first UAV (Dayton Wright Liberty Eagle) which made its first flight in 1918 with an endurance of one hour and a ceiling of 12,000 ft, UAVs can now fly for just under 32 hours (RQ4A Global Hawk) and reach a ceiling of 100,000 ft (Helios). In addition the increasing number of UAVs which are required to perform various missions has also increased therefore requiring a formal mechanism for allocating the fuelling requirements as a priori and assist the mission planners and fuel logistics teams to plan ahead. In addition there is also a need to increase the endurance without necessarily changing the core UAV technology. In this paper, we propose a method for planning a UAV mission by introducing the concept of fuel conservation (energy management). The methodology differs from other methods because it incorporates the UAV energy domain as the basis of the analysis, thus resulting to suitable UAV flight paths.
A unified representation for networked dynamical system modelling submitted to Simulation Modelling Practice and Theory
, 2007
"... A unified description of networked dynamical systems, entitled multiport diagram, is proposed in this paper. The multiport diagram is an objectoriented model structure described into a general mathematical framework, independently from any computer language. It is shown that usual diagrammatic rep ..."
Abstract
 Add to MetaCart
(Show Context)
A unified description of networked dynamical systems, entitled multiport diagram, is proposed in this paper. The multiport diagram is an objectoriented model structure described into a general mathematical framework, independently from any computer language. It is shown that usual diagrammatic representations of networks, e.g. block diagrams, signal flow graphs, compartmental networks and bond graphs, are subclasses of the multiport diagram. By bridging the gap between these four network representations, this unified diagram should contribute to facilitate education of networked system modelling in systems and control theories. 1 Keywords System modelling, networked dynamical systems, objectmodelling techniques, mathematical models,