Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295626
Fu-Shiung Hsieh
In our previous works, we have unveiled the fault tolerant properties of several subclasses of controlled Petri nets, including CPPN, MG-refined nets and CAPN. In this paper, we extend the results to a class of controlled Petri net with uncertainties and flexible routes (CPNU-FR). By exploiting the routing flexibility of a CPNU-FR, we characterize a feasible condition to maintain production for a certain type of products by keeping the liveness of a cyclic production route. Based on this condition, we propose a structural decomposition method to test the feasibility of production routes. Based on the liveness condition for the nominal CPN, we characterize a condition to test whether a certain type of resource failures is tolerable.
{"title":"Robustness of a class of controlled Petri nets","authors":"Fu-Shiung Hsieh","doi":"10.1109/SSST.2004.1295626","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295626","url":null,"abstract":"In our previous works, we have unveiled the fault tolerant properties of several subclasses of controlled Petri nets, including CPPN, MG-refined nets and CAPN. In this paper, we extend the results to a class of controlled Petri net with uncertainties and flexible routes (CPNU-FR). By exploiting the routing flexibility of a CPNU-FR, we characterize a feasible condition to maintain production for a certain type of products by keeping the liveness of a cyclic production route. Based on this condition, we propose a structural decomposition method to test the feasibility of production routes. Based on the liveness condition for the nominal CPN, we characterize a condition to test whether a certain type of resource failures is tolerable.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120949498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295664
S. Henry, T. Baldwin
Power quality improvement is becoming an increasingly important issue for both electric utilities and customers. Utilities are currently exploring methods of increasing the reliability of the power supply due to the growing number of sensitive loads. Therefore, this paper explores the impact of a series resonant fault current limiter (FCL) on the improvement of power quality of a radial distribution system. It provides simulations of a typical distribution system with and without the FCL to determine its effect on voltage dips during faulted conditions. It also investigates the interaction of the FCL with system protection and provides protection engineers with methods of re-coordinating the protective scheme after placing the series resonant FCL into a distribution system.
{"title":"Improvement of power quality by means of fault current limitation","authors":"S. Henry, T. Baldwin","doi":"10.1109/SSST.2004.1295664","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295664","url":null,"abstract":"Power quality improvement is becoming an increasingly important issue for both electric utilities and customers. Utilities are currently exploring methods of increasing the reliability of the power supply due to the growing number of sensitive loads. Therefore, this paper explores the impact of a series resonant fault current limiter (FCL) on the improvement of power quality of a radial distribution system. It provides simulations of a typical distribution system with and without the FCL to determine its effect on voltage dips during faulted conditions. It also investigates the interaction of the FCL with system protection and provides protection engineers with methods of re-coordinating the protective scheme after placing the series resonant FCL into a distribution system.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125304781","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295707
J.E. Gray, S. R. Addison
The treatment of propagation in a linear dispersive medium is a problem that is outlined in many electromagnetic texts which consider the continuous time case. These texts don't deal with initial value problems, but instead refer to Stratton for a complete treatment of the problem. Stratton uses both the Fourier transform and the Laplace transform to solve the initial value problems. The usage of both methods can cause both mathematical and conceptual problems.
{"title":"General solution to dispersive wave equation and its application to propagation","authors":"J.E. Gray, S. R. Addison","doi":"10.1109/SSST.2004.1295707","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295707","url":null,"abstract":"The treatment of propagation in a linear dispersive medium is a problem that is outlined in many electromagnetic texts which consider the continuous time case. These texts don't deal with initial value problems, but instead refer to Stratton for a complete treatment of the problem. Stratton uses both the Fourier transform and the Laplace transform to solve the initial value problems. The usage of both methods can cause both mathematical and conceptual problems.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124054746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295610
Marie-Astrid A. Cauquy, M. Roggemann, T. Schulz
The concept of using non-imaging measurements (NIM) to obtain information about satellites is discussed. We present the use of sunlight spectral measurements to estimate the composition of satellites exterior surface. We simulate the sunlight spectrum after reflection on a satellite surface by using real spectral measurements from 14 different materials commonly used on satellite surface. Several methods have been developed and tested: a linear constrained estimator and method based on the singular value decomposition (SVD) of the material database. The constrained estimator gives the best estimate regarding the presence of materials in the synthetic spectrum and regarding the relative quantity of the materials in the spectrum when both methods detect the correct materials present in the synthetic spectrum.
{"title":"Spectral unmixing methods to estimate materials on satellite surface","authors":"Marie-Astrid A. Cauquy, M. Roggemann, T. Schulz","doi":"10.1109/SSST.2004.1295610","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295610","url":null,"abstract":"The concept of using non-imaging measurements (NIM) to obtain information about satellites is discussed. We present the use of sunlight spectral measurements to estimate the composition of satellites exterior surface. We simulate the sunlight spectrum after reflection on a satellite surface by using real spectral measurements from 14 different materials commonly used on satellite surface. Several methods have been developed and tested: a linear constrained estimator and method based on the singular value decomposition (SVD) of the material database. The constrained estimator gives the best estimate regarding the presence of materials in the synthetic spectrum and regarding the relative quantity of the materials in the spectrum when both methods detect the correct materials present in the synthetic spectrum.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127728145","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295647
W. F. Leven, A. Lanterman
The symmetric measurement equation approach to multiple target tracking is revisited using unscented Kalman and particle filters. The characteristics and performance of these filters are compared to the original symmetric measurement equation implementation relying upon an extended Kalman filter. Counter-intuitive results are presented and explained for two sets of symmetric measurement equations, including a previously unknown limitation of the unscented Kalman filter. The point is made that the performance of the SME approach is dependent on the interaction of the set of SME equations and the filter used.
{"title":"Multiple target tracking with symmetric measurement equations using unscented Kalman and particle filters","authors":"W. F. Leven, A. Lanterman","doi":"10.1109/SSST.2004.1295647","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295647","url":null,"abstract":"The symmetric measurement equation approach to multiple target tracking is revisited using unscented Kalman and particle filters. The characteristics and performance of these filters are compared to the original symmetric measurement equation implementation relying upon an extended Kalman filter. Counter-intuitive results are presented and explained for two sets of symmetric measurement equations, including a previously unknown limitation of the unscented Kalman filter. The point is made that the performance of the SME approach is dependent on the interaction of the set of SME equations and the filter used.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115960129","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295619
Y.D. Song, X. Liao, Z. Sun, Y. Li
Because of its effectiveness in dealing with modeling uncertainties, variable structure control (VSC) has been widely used for robust control design. However, current VSC design method leads to chattering due to the discontinuous control action involved. How to eliminate the undesirable chattering in VSC has been an interesting yet challenging topic of research. Most existing methods for chattering elimination are achieved at the price of control precision. In this paper, a new approach is introduced to remove chattering without sacrificing control precise. The idea behind the proposed approach is extremely simple: instead of designing the control input directly, the control (compensating) rate is designed. Once the rate of the compensating unit is determined, the control input is readily obtained via integration. It is shown that such a treatment leads to bounded and smooth control action while at the same time maintains asymptotical system stability. Simulations on heading speed control of flight vehicle verify the effectiveness of the method.
{"title":"A new approach to eliminating variable structure control chattering with application to flight vehicles","authors":"Y.D. Song, X. Liao, Z. Sun, Y. Li","doi":"10.1109/SSST.2004.1295619","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295619","url":null,"abstract":"Because of its effectiveness in dealing with modeling uncertainties, variable structure control (VSC) has been widely used for robust control design. However, current VSC design method leads to chattering due to the discontinuous control action involved. How to eliminate the undesirable chattering in VSC has been an interesting yet challenging topic of research. Most existing methods for chattering elimination are achieved at the price of control precision. In this paper, a new approach is introduced to remove chattering without sacrificing control precise. The idea behind the proposed approach is extremely simple: instead of designing the control input directly, the control (compensating) rate is designed. Once the rate of the compensating unit is determined, the control input is readily obtained via integration. It is shown that such a treatment leads to bounded and smooth control action while at the same time maintains asymptotical system stability. Simulations on heading speed control of flight vehicle verify the effectiveness of the method.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129972285","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295656
N. Liu, M. Abdelrahman, S. Ramaswamy
Scheduling can be divided into two classes, namely, predictive and reactive scheduling. The former addresses problems with initially available jobs, deterministic processing times and available machines throughout the scheduling horizon; the latter has problems with random job arrivals, non-deterministic processing times and unpredictable events such as machine breakdowns. This paper presents a complete multiple agents' framework for reactive job shop scheduling. It provides a theoretical justification that this approach is actually a completely reactive scheduling approach combining real time decision making with predictive decision making and can resolve various disruptions as flexibly as dispatching rules. The justification also includes solution schemes for dynamic job arrivals, which make full use of available information for further scheduling robustness enhancement.
{"title":"A multi-agent model for reactive job shop scheduling","authors":"N. Liu, M. Abdelrahman, S. Ramaswamy","doi":"10.1109/SSST.2004.1295656","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295656","url":null,"abstract":"Scheduling can be divided into two classes, namely, predictive and reactive scheduling. The former addresses problems with initially available jobs, deterministic processing times and available machines throughout the scheduling horizon; the latter has problems with random job arrivals, non-deterministic processing times and unpredictable events such as machine breakdowns. This paper presents a complete multiple agents' framework for reactive job shop scheduling. It provides a theoretical justification that this approach is actually a completely reactive scheduling approach combining real time decision making with predictive decision making and can resolve various disruptions as flexibly as dispatching rules. The justification also includes solution schemes for dynamic job arrivals, which make full use of available information for further scheduling robustness enhancement.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129389535","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295641
Tarnal Biswas, Asad Davari, Ali Feliachi
Apart from the continuous time phenomena various discrete events occur in an electric power system. Previously, the size and operation of the power systems were considerably small and centralized compared to the large, decentralized power systems of the present day. Each discrete event occurring in the power system was manually acknowledged and necessary changes were made in the system operation. But with the recent deregulation, the sizes of the power system have increased rapidly and it is becoming very difficult if not impossible to use the traditional methods. Specialized tools are necessary for modeling and analysis of the discrete events occurring in the power system. A number of formal languages, including Petri nets and finite state machines can be used for this purpose. This paper describes how Petri nets can be used for modeling and analysis of the discrete events occurring in a power system.
{"title":"Modeling and analysis of discrete event behaviors in power system using Petri nets","authors":"Tarnal Biswas, Asad Davari, Ali Feliachi","doi":"10.1109/SSST.2004.1295641","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295641","url":null,"abstract":"Apart from the continuous time phenomena various discrete events occur in an electric power system. Previously, the size and operation of the power systems were considerably small and centralized compared to the large, decentralized power systems of the present day. Each discrete event occurring in the power system was manually acknowledged and necessary changes were made in the system operation. But with the recent deregulation, the sizes of the power system have increased rapidly and it is becoming very difficult if not impossible to use the traditional methods. Specialized tools are necessary for modeling and analysis of the discrete events occurring in the power system. A number of formal languages, including Petri nets and finite state machines can be used for this purpose. This paper describes how Petri nets can be used for modeling and analysis of the discrete events occurring in a power system.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131118246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295660
K. Sayler, S. Halpin, J. Valenzuela, C.S. Park
The quantity of power traded in the wholesale energy market went from almost nothing in 1994 to over 800 TWh in 2000 but there has been relatively little investment in transmission infrastructure during that time. Consequently, the transmission system is becoming increasingly more constrained resulting in reduced import capability, heavily loaded lines, and stability problems. Any effort to reduce transmission congestion may provide benefits in customer choice and economic efficiency in power operation, but it will also provide new challenges for bulk-power system reliability. As generation continues to increase in localized areas, export limits will be encountered initially in the form of thermal constraints on transmission lines. Continuing to add generation into a constant effective system impedance will threaten a system stability limit. The focus of this paper is on developing proper pricing signals that may encourage generator operation in ways favorable to power system security. The well-developed locational marginal pricing concept is adopted as a basis and expanded to include constraints associated with system stability.
{"title":"Pricing transmission congestion to alleviate system stability constraints in bulk power planning","authors":"K. Sayler, S. Halpin, J. Valenzuela, C.S. Park","doi":"10.1109/SSST.2004.1295660","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295660","url":null,"abstract":"The quantity of power traded in the wholesale energy market went from almost nothing in 1994 to over 800 TWh in 2000 but there has been relatively little investment in transmission infrastructure during that time. Consequently, the transmission system is becoming increasingly more constrained resulting in reduced import capability, heavily loaded lines, and stability problems. Any effort to reduce transmission congestion may provide benefits in customer choice and economic efficiency in power operation, but it will also provide new challenges for bulk-power system reliability. As generation continues to increase in localized areas, export limits will be encountered initially in the form of thermal constraints on transmission lines. Continuing to add generation into a constant effective system impedance will threaten a system stability limit. The focus of this paper is on developing proper pricing signals that may encourage generator operation in ways favorable to power system security. The well-developed locational marginal pricing concept is adopted as a basis and expanded to include constraints associated with system stability.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"374 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133246441","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2004-09-27DOI: 10.1109/SSST.2004.1295710
Y. Samurin, S. Giles, H. Vayo, J. Johnson
We designed an antenna model of the spherically distributed receptors of the HIV. The model consisted of a combination of electric Hertzian dipole and magnetic dipole antennas. We derived field equations for a 72-element spherical array of electric dipoles, and field equations for a 72-element array of magnetic dipoles. We combined these equations using superposition to model the virus receptors as receiving antennas. The resulting power pattern showed definite maximums at 80- and 280-degree positions, suggesting the virus acted as a radar when scanning for objects such as foreign cells. This work extended results of treating the AIDS virus as an antenna.
{"title":"Model of the electromagnetic power pattern of the AIDS virus","authors":"Y. Samurin, S. Giles, H. Vayo, J. Johnson","doi":"10.1109/SSST.2004.1295710","DOIUrl":"https://doi.org/10.1109/SSST.2004.1295710","url":null,"abstract":"We designed an antenna model of the spherically distributed receptors of the HIV. The model consisted of a combination of electric Hertzian dipole and magnetic dipole antennas. We derived field equations for a 72-element spherical array of electric dipoles, and field equations for a 72-element array of magnetic dipoles. We combined these equations using superposition to model the virus receptors as receiving antennas. The resulting power pattern showed definite maximums at 80- and 280-degree positions, suggesting the virus acted as a radar when scanning for objects such as foreign cells. This work extended results of treating the AIDS virus as an antenna.","PeriodicalId":309617,"journal":{"name":"Thirty-Sixth Southeastern Symposium on System Theory, 2004. Proceedings of the","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127815131","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}