{"entities":{"Q1962005":{"pageid":1972747,"ns":120,"title":"Item:Q1962005","lastrevid":47437108,"modified":"2026-01-01T18:17:01Z","type":"item","id":"Q1962005","labels":{"en":{"language":"en","value":"Incremental model evolution and reusability of supervisors for discrete event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1394978"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$4155ED25-2E60-4B64-B925-D28614F3EDC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84d38cb18efd003132dd83d7a743d46a879a4730","datavalue":{"value":{"text":"Incremental model evolution and reusability of supervisors for discrete event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1962005$B20A881E-C3DB-4CA4-BF2B-B6FDC7E31491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff957fb3b3edd406917bee6e49c949c28a1a726a","datavalue":{"value":"0957.93054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962005$9E2E06BC-3B05-4A5A-88A2-0AEDF6A0F1D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b5ef198b54d358eff8b7bd80701413fdc14320e","datavalue":{"value":"10.1016/S0005-1098(99)00142-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962005$5DBCC4FB-B5AF-4F41-9174-C6BA1B501DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$137C9620-C29F-4D17-AD18-70D180E47CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e773f68da8658f60713e049cee0eb2fdccc8f78","datavalue":{"value":{"entity-type":"item","numeric-id":460379,"id":"Q460379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$1CBE3E20-EFD0-43B4-BFAF-00A9CD61CDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd5430e090ec70e4191bc832877926e61da330","datavalue":{"value":{"entity-type":"item","numeric-id":608073,"id":"Q608073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$8513E502-299E-4E0B-B5CA-AAD705C162B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$0D8F6855-5B98-48BE-A709-BAEC621C5786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b78ba432cb77ac64be3ac5d97bd170fc19fe3117","datavalue":{"value":{"time":"+2000-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1962005$37BD2BB0-4270-44C1-9340-B59DE3CE2723","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45badc4a8ded807cec06403c80c2c08cb163727c","datavalue":{"value":"The discrete event model of a dynamic system that is used for supervisory control purposes may often need to be altered when the system is modified or reconfigured. Such evolution of system models could necessitate complete redesign of supervisory controllers. The redesign involves building the new models and requires considerable computational efforts.    Here, the authors present an approach to reuse the existing supervisor by additions to it new parts. They propose two types of model evolution: vertical growth (when transitions of the original system model are refined, i.e. the system behavior is modelled with more details using additional events) and horizontal growth (when a new part is added to the original system model). For vertical growth, the authors have found a set of sufficient conditions on the model evolution under which the original supervisors can always be reused. In the case of horizontal growth, the authors have found a closed-form representation of evolved system behavior under sole control of the reused supervisors. In the conclusion, some criteria of expediency of supervisor reusing are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962005$35210AB9-9498-4DE8-A68F-E4F1AD202BF2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d20ed94b56f3ad787b298349be5c72783add32af","datavalue":{"value":{"entity-type":"item","numeric-id":1962004,"id":"Q1962004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$804A033D-A985-4C77-B7EE-8968B01489FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962005$1C36B9E4-D120-478A-84A5-86136D00CF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962005$D3264AA0-9B32-4C50-AC51-C8E6ADB76D39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4886956ef08f7b0a8a3362494ca0b3c16f2f999","datavalue":{"value":"1394978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962005$03A1E4CD-4E34-4123-85E1-4D1B405BC586","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962005$125BFD0F-160A-4E55-8DD3-64C27E63F6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cdd4ffea134ff7baee079deb1f55ec128a0686a","datavalue":{"value":"system reconfiguration and modification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962005$32A6E59C-9653-41CF-931B-7E6351FD1F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f6636bdfde23f52702fd2eca17c9ac9998bdf9","datavalue":{"value":"modular supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962005$16BFD5B2-6BC3-4C20-B33E-5E979B7B5CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139002c812b926ec0747b3dc1a104995a4cd00e8","datavalue":{"value":"deterministic finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962005$039A171B-ABCA-4088-B87D-A8960D73C914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bd7a9cb9ac4a30cb22a81d23c8a26437a94624","datavalue":{"value":"vertical growth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962005$7997A31F-2FCF-45E6-99A5-6A371D936AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df55f9a6e021d94010d2f333c45621b0a9f149c","datavalue":{"value":"horizontal growth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1962005$C3C9105E-B88D-4593-B225-C0BD4A2B7D48","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$647C3A75-EF77-4DD7-9DDB-0E84FA43FCEA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$0FA5FA55-8CA6-4BB2-AFB0-E7E7864C86D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a1370384461c363131c9ac350ba84ed582312e","datavalue":{"value":{"entity-type":"item","numeric-id":4507068,"id":"Q4507068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$2A752F38-2A44-4FB1-9DAF-4A0071879F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda7863432bdf6fc9332185257b16e0d61f77f39","datavalue":{"value":{"entity-type":"item","numeric-id":3780844,"id":"Q3780844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$FBE85F58-AE1C-48B2-8C8D-F4CE776F780C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$3BC48222-C8DE-4AC3-9988-ECBC1ADFC9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6359ec5babc71e62b711dc2882625376d761e84f","datavalue":{"value":{"entity-type":"item","numeric-id":4840936,"id":"Q4840936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$3338070B-F326-4047-A554-73FCF2773248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5802e9943bf47bf433f36cfc1272d9db9f432ef9","datavalue":{"value":{"entity-type":"item","numeric-id":4281973,"id":"Q4281973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$911231A4-63D6-4C10-A1FC-FCA2C969799C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c30c928c5466779eee6d415e0675ea165098d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1822944,"id":"Q1822944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$6E36D61C-3520-4F2C-9823-B6870D2970C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$9BD6E037-1C47-43C1-AB1A-22331F51C17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac7f6378635e57edf3022367896f6113439d295","datavalue":{"value":{"entity-type":"item","numeric-id":5202104,"id":"Q5202104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$12257456-EDE1-4BE0-BE44-366A436744A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa1ad61c4605d170d2b6e7cec68b0a97ed717f0","datavalue":{"value":{"entity-type":"item","numeric-id":3727828,"id":"Q3727828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$57E5F604-2049-4A6D-B136-59C1A1F4B6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$F8C425E1-7E1C-4E8F-9BB9-336320660210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69bb21ca57b673c687a7fc3dd4510bec2aa3d0b","datavalue":{"value":{"entity-type":"item","numeric-id":1922191,"id":"Q1922191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$0370A5FE-F285-41BD-813C-0CF4699D4D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0806fb681496566fad655db0a40418d191770ea","datavalue":{"value":{"entity-type":"item","numeric-id":1113863,"id":"Q1113863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$59A82E3E-AC4F-40B1-8A23-0C097A739D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a3da3425767ec9bb25a10cf034cedb30588ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4763546,"id":"Q4763546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$F4A0B7AE-ABB1-41AF-B6E9-498125F7DB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3068101a6b7f336178a5e67e4fb1b191aed5f","datavalue":{"value":{"entity-type":"item","numeric-id":5202590,"id":"Q5202590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1962005$D128B082-0030-4858-924E-8A000039AA69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71ae31f2595d9acc8e8ddf79615d97bba3804e8b","datavalue":{"value":"https://doi.org/10.1016/s0005-1098(99)00142-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1962005$55154678-E5C6-4084-BB9B-0EC9F9269E07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a380d3378b9521d18d4c841a0ac91175aea9323e","datavalue":{"value":"W1991705141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1962005$2E0FF07C-B829-41D6-A350-84F4CEB51A77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fbebcbb56c97dce5fa3c1c7f0563f1db8689a4","datavalue":{"value":{"entity-type":"item","numeric-id":2673766,"id":"Q2673766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f408e78578170dce2a79b1d79344e3061cfef1","datavalue":{"value":{"amount":"+0.7906279563903809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962005$7CC5EE9B-823A-4A7B-8D88-374BCAD58D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c92fbb009e106822d912355a855b444cbdb17f4","datavalue":{"value":{"entity-type":"item","numeric-id":1040544,"id":"Q1040544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e0c7e5735ea5ba49afaf0bb2abbd127c9652ec","datavalue":{"value":{"amount":"+0.7432112693786621","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962005$4C99708B-E233-4F2E-87F3-DB765AD8BFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e5c4fd70f80e338744fe3ea74c6040fdf79426","datavalue":{"value":{"entity-type":"item","numeric-id":4876792,"id":"Q4876792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd416d4a370f47e265cd88134a268f5499d46f63","datavalue":{"value":{"amount":"+0.7405752539634705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962005$7424968D-971A-4942-BBB6-4504B8713DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac7fc29df434e35fa53dfd1dc92ad26feb8e73a","datavalue":{"value":{"entity-type":"item","numeric-id":3543066,"id":"Q3543066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac234693eb72960f5cc37f790fd4a3148941a5f3","datavalue":{"value":{"amount":"+0.7386265993118286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962005$31136D55-C532-4C2C-B7CA-36B54D2CCA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2da9e094c09e381a54fe6e874d96c5ad2e938f","datavalue":{"value":{"entity-type":"item","numeric-id":3183744,"id":"Q3183744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c227a82142ec88599fcc4226807da68dc46f70","datavalue":{"value":{"amount":"+0.7275955080986023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1962005$FB772957-E0B0-42F6-B2E4-A81372DA54FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1962005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1962005"}}}}}