{"entities":{"Q2496814":{"pageid":2507557,"ns":120,"title":"Item:Q2496814","lastrevid":78904232,"modified":"2026-05-06T12:42:26Z","type":"item","id":"Q2496814","labels":{"en":{"language":"en","value":"Optimal control of discrete-time hybrid automata under safety and liveness constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5042293"}},"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":"Q2496814$78734898-162A-4CF0-99AE-36DC855C4125","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c3ed84511153c23ed65819b3b4635e46c10f277","datavalue":{"value":{"text":"Optimal control of discrete-time hybrid automata under safety and liveness constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496814$61544F22-99A8-480B-8DE5-FD6986A1817A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77a653834d8b033679893d4c2fcb21854f0566ec","datavalue":{"value":"1101.68667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496814$31AA64FE-FF7E-40CA-A2D9-B2D1267D599C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df19460f1c0c60639299e2b3cc257130afa31af5","datavalue":{"value":{"entity-type":"item","numeric-id":172785,"id":"Q172785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$0E8A0996-64B1-450B-A73B-43D00B73E124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a1d5a4e68873e1c86e5a336be60fa7bf441fe6","datavalue":{"value":{"entity-type":"item","numeric-id":313266,"id":"Q313266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$4DFCCC58-26F8-469E-889E-EB49DB9F2A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e6f831cec556f9f289f37decd11cac3cd906080","datavalue":{"value":{"entity-type":"item","numeric-id":1773099,"id":"Q1773099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$C41EFC12-005E-4947-BF13-108B675AC580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"479784e7540b067b28b0c036a665848976358bb5","datavalue":{"value":{"entity-type":"item","numeric-id":172784,"id":"Q172784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$2110C8B2-66FA-4BA0-A036-239C45B5636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f8d2dcf357132462c0a1abb0a3cbb973cd6d720","datavalue":{"value":{"entity-type":"item","numeric-id":239121,"id":"Q239121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$111A7691-A6CD-4BEB-AD52-90065204D24B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ac1f3f44634d62750a40905e0c9a48415220e79","datavalue":{"value":{"entity-type":"item","numeric-id":161653,"id":"Q161653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$B605BB63-7363-4553-A685-EB0BCE75AE50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"907750b71c4581d5006e51b53791abec9616cbbe","datavalue":{"value":{"time":"+2006-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496814$22FC2C8A-8065-4C7F-AD9A-62FF4EE53CE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496814$E0115405-8577-4D0D-93B2-1FB0BA2679B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d549dacfd75da173dfbf0cca36305f043cdcb80","datavalue":{"value":"49N90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496814$0BDCF154-B2E4-47C0-BFBB-517D2627A533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fd52f168d6931ea364593b3e775a1dacf4fac28","datavalue":{"value":"5042293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496814$888896A9-849D-481C-89C8-B1BBF309E10E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496814$AB9B39F7-C4D4-4E6D-8BBD-F6BF75F15129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8f08d94ed7e2bdcd855f06f6d17a3525ec4cec0","datavalue":{"value":"switched systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496814$226D0564-69C6-454D-99B4-B3FD6D65704D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a7320664c6e5ea5c87b75a8f40c3d675d5245b","datavalue":{"value":"safety constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496814$CF7348E8-5C10-4353-B9CF-EDF0BFB1A674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68bb950c4906e03da9c0cebb91de50d0f2f8b419","datavalue":{"value":"liveness constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496814$A85C4441-F6D2-4103-B6C3-C450FDF51830","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":"Q2496814$BDC66560-11E0-48B7-A5F4-0FF1669BFC65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"057301d4183bdba2e62f06731ed60d73b6744a9d","datavalue":{"value":"https://doi.org/10.1016/j.na.2005.12.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496814$B8D3ACF3-C9D9-46D0-8FD0-57B127E65E42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1df0b0d0f5812d418c524376e0bbf7c070f498d4","datavalue":{"value":"W2000110298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496814$9362A950-39E7-4A84-83C5-2089A6234F5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$29D74725-0FF3-4BA5-AA53-808FEBD5CB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07ddf853325c4cf9a7cbeff27332022e8aa9351f","datavalue":{"value":{"entity-type":"item","numeric-id":2252975,"id":"Q2252975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$AB286B84-7E3F-4FF0-A79C-3A103B473DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c862b89ed2446ad13fc98a57891545a529f406","datavalue":{"value":{"entity-type":"item","numeric-id":2496814,"id":"Q2496814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$5C13CC11-B269-4502-B271-3627AED4E5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c356249ecb6ec3b208189c0c9ddf6e82f4799","datavalue":{"value":{"entity-type":"item","numeric-id":4393083,"id":"Q4393083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$BED7DB9B-C9A0-4528-9BA8-188126399692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf92815011a988bd1f870a651bb411c685e214e","datavalue":{"value":{"entity-type":"item","numeric-id":5267088,"id":"Q5267088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$CE3D6A06-1E7F-4CD2-856B-C551B230EF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a11eae73250eb4087c69355f871c1fbedf9f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":1978485,"id":"Q1978485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$A2FF6810-929B-42A3-B6BA-55D099F86992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb33de39adcd013a90106b3534dea2849e02335","datavalue":{"value":{"entity-type":"item","numeric-id":4763590,"id":"Q4763590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$FFCF7275-304B-48BE-8FC5-1CD3610EB487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047d891125c3d6cc8fffb42811dbd1f32b1c9c21","datavalue":{"value":{"entity-type":"item","numeric-id":3493237,"id":"Q3493237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$64AFA64A-2C7A-4A1F-8489-B4D60251A59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e98559caec387e3af2153aff17e9a12e718f5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4948546,"id":"Q4948546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$8A5E0ACE-95D1-4943-A760-360D69027DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6854b58216c33693ca533b745774c0403789147","datavalue":{"value":{"entity-type":"item","numeric-id":4393084,"id":"Q4393084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$E164D705-3CD1-4C92-976A-91D3B3B840B1","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":"Q2496814$29C31DD2-E691-46D1-A632-00F34219BA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604fd2d5f1ebd6667870149121e47241667effb0","datavalue":{"value":{"entity-type":"item","numeric-id":5281827,"id":"Q5281827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$3EFD6956-641A-435E-9FFA-BDD2F50BB877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39013845bf7f1819a5ae69948d7a9c9ac1f059d5","datavalue":{"value":{"entity-type":"item","numeric-id":1823199,"id":"Q1823199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$794BF6C0-FA8E-43E9-84E3-6FDB5939EDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5228b62de3767fe090370b0761a645ab1ae9d344","datavalue":{"value":{"entity-type":"item","numeric-id":4418867,"id":"Q4418867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496814$D326B828-6C1D-4854-AC46-93ECB05C38B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd674b55393c963f6d1b5e1230d977c581e3a098","datavalue":{"value":"10.1016/J.NA.2005.12.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496814$0FE2AB07-C1FD-457C-AA42-5925092A44A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c05e6f5c65422658b4017b658d1d9979723ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":5707981,"id":"Q5707981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51371e123b798408b1c92b6afc3605517af0085","datavalue":{"value":{"amount":"+0.7784243226051331","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":"Q2496814$60BAFFC6-289B-4B4A-A6AC-98F813BE5DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008a720e1b5ba6c196ce08c4ac373acb0384455b","datavalue":{"value":{"entity-type":"item","numeric-id":2573908,"id":"Q2573908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abca091bf61501bea435dd5791b5f8dd4ebd189","datavalue":{"value":{"amount":"+0.7783594727516174","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":"Q2496814$4644FC10-C0AF-4626-B852-DB7BABAEBE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f54c01e02f60b9dcc3351447163c2fa1457ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4953385,"id":"Q4953385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d3fcde85de94e6b9aebdba2fc055a57832ac25","datavalue":{"value":{"amount":"+0.7750769257545471","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":"Q2496814$F55CF22E-606F-4986-BB6D-3C8F4A52F68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba554434105ccafe2205aea44dec5338ff3193d9","datavalue":{"value":{"entity-type":"item","numeric-id":4736577,"id":"Q4736577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c78c906e95e98c153d983c07e8da6d61bcf11f","datavalue":{"value":{"amount":"+0.7647078633308411","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":"Q2496814$CE6071C2-A72F-4BF2-B153-FB3671E51806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0a8d2033d9e6262a9b65902409cc5ee9397717","datavalue":{"value":{"entity-type":"item","numeric-id":466278,"id":"Q466278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad0c00790f51203a0c4d131f7d17b87369d5089","datavalue":{"value":{"amount":"+0.762343168258667","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":"Q2496814$FC8DCD8A-DCF6-45CC-911D-F260FB34D897","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal control of discrete-time hybrid automata under safety and liveness constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimal_control_of_discrete-time_hybrid_automata_under_safety_and_liveness_constraints"}}}}}