Israel Rivera-Rangel, L. Aguirre-Salas, A. Ramírez-Treviño, E. López-Mellado
{"title":"DES状态估计的Petri网格式","authors":"Israel Rivera-Rangel, L. Aguirre-Salas, A. Ramírez-Treviño, E. López-Mellado","doi":"10.1109/CDC.2000.914134","DOIUrl":null,"url":null,"abstract":"This paper presents new results on state estimation of discrete event systems modeled by interpreted Petri nets. First, the concepts of event detectability and observability are introduced. Then necessary and sufficient conditions for observability of systems described by marked graphs and state machines are presented. Finally, a general scheme for state estimation is proposed. This result is illustrated using an example of a manufacturing system.","PeriodicalId":217237,"journal":{"name":"Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"A Petri net scheme for DES state estimation\",\"authors\":\"Israel Rivera-Rangel, L. Aguirre-Salas, A. Ramírez-Treviño, E. López-Mellado\",\"doi\":\"10.1109/CDC.2000.914134\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents new results on state estimation of discrete event systems modeled by interpreted Petri nets. First, the concepts of event detectability and observability are introduced. Then necessary and sufficient conditions for observability of systems described by marked graphs and state machines are presented. Finally, a general scheme for state estimation is proposed. This result is illustrated using an example of a manufacturing system.\",\"PeriodicalId\":217237,\"journal\":{\"name\":\"Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)\",\"volume\":\"38 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-12-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.2000.914134\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.2000.914134","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper presents new results on state estimation of discrete event systems modeled by interpreted Petri nets. First, the concepts of event detectability and observability are introduced. Then necessary and sufficient conditions for observability of systems described by marked graphs and state machines are presented. Finally, a general scheme for state estimation is proposed. This result is illustrated using an example of a manufacturing system.