{"entities":{"Q1301405":{"pageid":1312155,"ns":120,"title":"Item:Q1301405","lastrevid":43012659,"modified":"2025-07-16T21:26:01Z","type":"item","id":"Q1301405","labels":{"en":{"language":"en","value":"Controllers for reachability specifications for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1331882"}},"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":"Q1301405$ED455BD0-9C20-4909-98FB-F16633A269F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5771eacf5410ca1a6735198b996cecb0378f0438","datavalue":{"value":{"text":"Controllers for reachability specifications for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1301405$6FC8DAAC-4479-4DD5-8C9C-2DF98B33AA98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a63ffc7584523661eea3b112cca3c8bc41eff8d5","datavalue":{"value":"0943.93043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$4B1EFAEC-DC1C-4759-83BB-CE0AB4FB2AD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd7d2e4e4d80499502995c2df650f8285aaee26b","datavalue":{"value":"10.1016/S0005-1098(98)00193-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$30154FD6-1F7B-4714-9D01-89FC837FDF4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eb46cd344108c864b2f16861a4edec764c0ae87","datavalue":{"value":{"entity-type":"item","numeric-id":290822,"id":"Q290822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301405$05581D8A-034B-4267-AB6A-1DFC2BBE4E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df6e36a460358b7ed0473e5b3dab51cf1f47362b","datavalue":{"value":{"entity-type":"item","numeric-id":273888,"id":"Q273888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301405$43073AAD-C55B-4663-9330-14A3B1AA7A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8134bd9ea4e4d6df5dbd1848da32e0607fcb7e10","datavalue":{"value":{"entity-type":"item","numeric-id":962199,"id":"Q962199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301405$78EC5F31-340D-416C-B63C-109ED46F019E","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":"Q1301405$ED21E030-29C0-4855-BA32-8D6347974705","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10c84906cee8b3553255ea7c153c4a47e01010b2","datavalue":{"value":{"time":"+2000-09-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":"Q1301405$8AA8FFCA-0B6A-4573-B12A-2870C42DCB61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc401c1913f844fe9a5157db17f14f72e5cbe34d","datavalue":{"value":"The authors consider the problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives. They present a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisfies the most important objective.   In the section about controller synthesis, an algorithm for synthesizing hybrid controllers for hybrid automata, when multiple specifications are imposed on the closed-loop system, is described. The application of this algorithm is illustrated by two examples, one hybrid (the steam boiler benchmark problem), and one primarily continuous (a flight vehicle management system with discrete flight modes).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301405$7D351C8D-5836-4E61-9D4B-9424376B68BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$2158550A-D02D-4E2E-B867-1668A2E97B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$16B389B7-29F8-486E-8EB0-DC2A012AFDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d549dacfd75da173dfbf0cca36305f043cdcb80","datavalue":{"value":"49N90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$780354AA-81C3-44A5-8474-95A0CE9E7DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1d1ec306e6072f89861e74f12dba9e600d6764c","datavalue":{"value":"93A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$BDEB9E1F-98A7-497A-B2AC-ADF3BC58CEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9f9620f736fe7e9d98419851a30eb0cb81dd3f3","datavalue":{"value":"93B12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$874ED6D5-BC68-4424-8EB4-947615FC4488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$BBF559A3-D631-4740-97DE-D769514C4A35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54bdccb81aa29f4a5e66ec2996ba30ee99effc3f","datavalue":{"value":"1331882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$51CE3FDD-A19B-4AA9-A340-635831499F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68169cf48c7b856cbc0a246be632d3f02dd5baea","datavalue":{"value":"controlled invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301405$0F038EDB-AC0B-464E-A906-FC3112F4E5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2a8ca1d9afb5a10e51a59598f56f85108f1fc7","datavalue":{"value":"hybrid controllers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301405$05CC519C-35B9-4F77-AC36-85C20CC9816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff2ed9faf38a7f1527965bc3de497880f65b92c","datavalue":{"value":"multiple control objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301405$3A18E79B-B370-452B-B715-745D67A9DEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47fee90c5592664decba5aa2e51ae852ecd7730","datavalue":{"value":"optimal control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301405$3C86F934-0FEF-4220-BA26-7ABE75F29047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301405$E6F0990D-614F-4E0F-B306-53210CBA44F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f399db2e428a9cb6311b042d5d40e797db2fdd0","datavalue":{"value":"multiple specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1301405$6E1184F5-D0B7-4313-8163-74797BD854AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bd152c47da1e590d7463e91ee84cdb7d2fbcbf8","datavalue":{"value":{"entity-type":"item","numeric-id":587477,"id":"Q587477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1301405$0D3BBDDB-DE40-4EF1-8383-49509B3AC29E","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":"Q1301405$30678886-24E1-4805-B08A-2AA8DF9EF2AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18797f01911538e495d9e172294ab3e44b0db5da","datavalue":{"value":"https://doi.org/10.1016/s0005-1098(98)00193-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1301405$244C4BEB-5FA1-47F0-A12D-4AAB5CF38AED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d4d8a9530b077e08353db3648f21372ec58e019","datavalue":{"value":"W2165489953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$262EFBD1-68BF-47D0-BCC2-EF91EA39D7DC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b93e7874c8a9cf2e273613e3fbb4899273cb997","datavalue":{"value":"Q127395846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1301405$40F151AE-010B-437E-994C-B31B511902F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054e98a966bf67251dcbc1d354b066fcd5a7df83","datavalue":{"value":{"entity-type":"item","numeric-id":4503933,"id":"Q4503933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe3a10fb070a5c5236beab14cf337efb2f696a2","datavalue":{"value":{"amount":"+0.91716933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$629345D7-0324-4CF9-BFEE-7B07C89E8EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371647de6a0d6dea78ead23eec2f14f5db714e22","datavalue":{"value":{"entity-type":"item","numeric-id":4733731,"id":"Q4733731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12eb9e526ec1d2228ee905e5f0ba8bf5757e5f1e","datavalue":{"value":{"amount":"+0.9168927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$31293C3F-1D7D-40EA-930C-0C8A6D839E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6947bfe057c3f2370085fc8e86952ea2844a92e9","datavalue":{"value":{"entity-type":"item","numeric-id":5002135,"id":"Q5002135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56705e17e1aa4d63af6d9ba5ca3a07f195cc662f","datavalue":{"value":{"amount":"+0.9155669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$16285192-6E89-4981-8F34-8F8B3293B092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8763926d4ccef4879ea3784a46ade38368e6cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2986935,"id":"Q2986935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0384e1fa1f1a69655120a80a19b6cd178b1b1933","datavalue":{"value":{"amount":"+0.91100717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$17DD020C-0E5F-4EDE-953E-6B6C4673CA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e316710c1e88c035b21c7f9724482272cdee8a93","datavalue":{"value":{"entity-type":"item","numeric-id":5116351,"id":"Q5116351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568378c50559e8ec73bddbc5880745abe8d718d0","datavalue":{"value":{"amount":"+0.9058876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$87E84A1B-AAB4-4F5F-8524-3F22C0B422F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0c5f2ef25e1c4a6d05011509fc7d6f35a3b333","datavalue":{"value":{"entity-type":"item","numeric-id":4543376,"id":"Q4543376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b8cc09ef5eba79dbfbc313b3787395b19278b3","datavalue":{"value":{"amount":"+0.9052834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$8F4EBF5A-BB5C-4AC4-AEEB-270EE7898C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec759811dba80be5224e17564e4d5e9fe1c97549","datavalue":{"value":{"entity-type":"item","numeric-id":3172915,"id":"Q3172915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1063746b151e994060beb6c8769ee14db1d9d7b8","datavalue":{"value":{"amount":"+0.905133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$A1D4A856-6CEF-4C8A-A330-DAD67DF6198D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76817c094ba1b4fe32201a782fb3b332bd404683","datavalue":{"value":{"entity-type":"item","numeric-id":2643429,"id":"Q2643429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08180a19ce2b1f8998294173fe0ed9b7694fdfcc","datavalue":{"value":{"amount":"+0.90312207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$8143FA70-29E0-462A-8C92-E29E0B01080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d35273b29beba75c0946f29c08e69a170ae3d8","datavalue":{"value":{"entity-type":"item","numeric-id":3587684,"id":"Q3587684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0863ce05d963bd47ae9fe3dcc765865c1e422e52","datavalue":{"value":{"amount":"+0.8988063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1301405$D610A7D3-88A3-4973-B11E-523C075C9FBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1301405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1301405"}}}}}