{"entities":{"Q2563780":{"pageid":2574523,"ns":120,"title":"Item:Q2563780","lastrevid":72790224,"modified":"2026-04-14T07:51:28Z","type":"item","id":"Q2563780","labels":{"en":{"language":"en","value":"Hierarchical control of timed discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958600"}},"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":"Q2563780$07D15BAE-62CA-4D17-A6CF-6F5AD8472A89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eaa5019a1acb5bfa3836a6edcca45ff565cd51e","datavalue":{"value":{"text":"Hierarchical control of timed discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563780$DBC9A7E8-F668-4FCC-9352-5B48395340CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79ce71a4a1495424c254b189c4817b044b374311","datavalue":{"value":"0867.93008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563780$6DCC4379-C508-4220-B0C8-3F0C77F2B8BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c757d9c9fbc3767c54815c5f70d489e8e375fd6e","datavalue":{"value":"10.1007/BF01797155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563780$76973FA3-8684-4815-B45E-B4915A29F450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$D7B36E2E-990C-4816-A705-356BD7472145","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$79D18BCB-4845-475A-940C-BF9485DE7271","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec8c20900676bdc973f1dd224c2bbe10923a4d6","datavalue":{"value":{"time":"+1997-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2563780$6BCD2B36-F274-4BC7-A1D8-5949DBDEC80A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fbd0a04e1028bf7852588af3331502f78cf9d2f","datavalue":{"value":"The authors present an abstract hierarchical control theory for a class of timed discrete-event systems (TDES) within the discrete-event control architecture framework proposed earlier by the authors. In particular an alternative definition of TDES is proposed that remedies a prior theory of Brandin and Wonham (1994) in which the class of TDES and its timing semantics are not closed under control. Based on the definition, the authors present a framework that refines the control technology (i.e., the specific manner in which control is exercised) of Brandin and Wonham (1994). The authors show that their time control technology induces a time control structure; namely, a class of controllable languages in which control cannot stop the clock. Based on that structure, a hierarchical control theory is developed. A general property of hierarchical consistency is achieved by establishing control consistency - namely preservation of time control structures through aggregation mapping in a two-level hierarchy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563780$1F2EB2D5-D662-497F-B350-92BF52F48520","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563780$A32311FA-1621-4D39-B6B0-35357D5936B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb63175a2479dd33d5406fc60dcfdfa53b1ef2a","datavalue":{"value":"93C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563780$0E22B7B2-7A69-4C55-AA5E-17E68C96B789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563780$EAA159D2-561D-487D-B845-E293713EB7FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"969160771174f03bda921bb28c219ca33d26fd0c","datavalue":{"value":"958600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563780$7F0D2EDE-D6B5-4CCE-B420-FC1A6964133B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3019566822bba32e207a895405b5f213458ab3","datavalue":{"value":"timed discrete-event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563780$116D2E26-29AB-40A4-9A15-4E17C27D2A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"511f563247b84443ba5fb5b6dffc15c419b9cc9d","datavalue":{"value":"discrete-event control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563780$9F3E9B4D-FA80-4F84-9D53-FEE4A04AC2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8e1a3a1762a23772a57129a82c09f121ae371f","datavalue":{"value":"time control structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563780$2354AD57-0980-4A1D-A8C2-BC534A23BE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c471f97c6165f2f54f6dd53c1d4d484d672b1b4","datavalue":{"value":"hierarchical control theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563780$1CCE8C96-6D39-4D38-B2D4-64941DFA75F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8fd0c8b269dd309f5382b2e6156dbb8dc8c30e","datavalue":{"value":"hierarchical consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2563780$A3ACE5EC-D4EB-42BA-A2E0-78451B966E38","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e7afc7069f27478fc9ad6313e02f5cfe073543ae","datavalue":{"value":{"entity-type":"item","numeric-id":1164012,"id":"Q1164012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$4A8449BF-9B42-46D8-BC38-C246941232B9","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":"Q2563780$C228E48C-26BB-4BF2-B83B-40E24CA265AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1fa06990c14b68b91f6a9c81557de8c6aee44db","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$EC4CB11E-B320-446A-9769-BFEDAC317C9B","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":"Q2563780$A85B86B9-C898-4E18-9130-ABC84B72CE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5d13a5baaddde0b2f4aabe02b3722fac8a05729","datavalue":{"value":{"entity-type":"item","numeric-id":1190821,"id":"Q1190821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$966F9E18-28C9-4631-94D7-01F2966212EE","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":"Q2563780$45963EB8-E8EB-4A57-9AF3-C2F7D9E97252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e306c88778a7218a8a7a5bb6017b67aef00f66b9","datavalue":{"value":{"entity-type":"item","numeric-id":3960524,"id":"Q3960524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$0A982A94-F26E-49F0-A183-16BD3E2EC24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4f57bf57f268aff41bdd3d57c166073b9b4c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5899777,"id":"Q5899777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$1984D11A-7C32-4FA7-94E2-1B733458905F","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":"Q2563780$04EDA8CC-0037-4E37-A68B-8C5C0D028603","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":"Q2563780$7C87CAC3-00F7-4F7A-BA5A-B66ED3B5DF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8daee801f6566293287c513650f7f62d8c370c7","datavalue":{"value":{"entity-type":"item","numeric-id":3979749,"id":"Q3979749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$4B1CA1B5-3A44-4B31-B51D-593A79FB1F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be8b6a254ca014c79c06413f6f1e42cf041e21","datavalue":{"value":{"entity-type":"item","numeric-id":2563779,"id":"Q2563779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$CB21BC51-453D-4A7A-A00B-A0FF0BCCC06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11a96d4b8e66a11d73e11f7036afedf75bfae962","datavalue":{"value":{"entity-type":"item","numeric-id":4109536,"id":"Q4109536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563780$C387A082-59D0-432A-B415-5EE71E581E8A","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":"Q2563780$31D385C0-E15E-4CAF-B2E6-2C0B6220D3A3","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":"Q2563780$0149A93E-4181-4CE3-8745-A3EABFCA3984","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0a4f7bca841c4cab313b7972aa2b96c832e116d","datavalue":{"value":"https://doi.org/10.1007/bf01797155","type":"string"},"datatype":"url"},"type":"statement","id":"Q2563780$851A6176-5EDE-4E29-AA76-9B84B04F9E41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f28aaf1d9122daf8c105927a41d3fc5674c0d8c","datavalue":{"value":"W2000582189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563780$F6E826C0-D7BC-4B28-9FBC-5853E4492D8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bffa78049b97d8d3fb317b0c51bbbd2c26f3e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2563779,"id":"Q2563779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebae3e9a1f0bd1d427276a60eee30c4949864c8","datavalue":{"value":{"amount":"+0.8824887275695801","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":"Q2563780$5350340B-B179-4D69-9214-844DEA7BB8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5d29923d6279a8ef478e9ce23d58ee50bb87d6","datavalue":{"value":{"entity-type":"item","numeric-id":1790660,"id":"Q1790660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c91b5de21913b3e2534b93d873265f30813c0b5","datavalue":{"value":{"amount":"+0.8455700278282166","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":"Q2563780$0202E834-3DF3-41BE-9315-8AB73CC1091E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b376c6353efcfa59b83ceb12106d12432b516f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4297249,"id":"Q4297249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a292e1b7bb1765f5e6d7bc9c519a22df49376bec","datavalue":{"value":{"amount":"+0.8245687484741211","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":"Q2563780$737CEDD3-A60B-4FBB-AEBA-DD2D20DC009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61892db8d1e785746647c1fe193f0ba44ea60ba","datavalue":{"value":{"entity-type":"item","numeric-id":5202590,"id":"Q5202590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cadba9d3ac2cc8afa180fc4779f199970427eceb","datavalue":{"value":{"amount":"+0.7989519834518433","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":"Q2563780$51ACCD09-19ED-4BAC-A790-8CAF99313498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0471ec1fafcbf54763250698a044eefa477fad72","datavalue":{"value":{"entity-type":"item","numeric-id":3486473,"id":"Q3486473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ff082b0f0a42c9cc0629695b2d69ece12704f3","datavalue":{"value":{"amount":"+0.783474862575531","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":"Q2563780$A0AFB470-DA20-4B46-A51A-BD86C4B03340","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchical control of timed discrete-event systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hierarchical_control_of_timed_discrete-event_systems"}}}}}