{"entities":{"Q6077141":{"pageid":13211449,"ns":120,"title":"Item:Q6077141","lastrevid":93873038,"modified":"2026-06-05T05:19:56Z","type":"item","id":"Q6077141","labels":{"en":{"language":"en","value":"Formal Safety Net Control Using Backward Reachability Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7741761"}},"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":"Q6077141$36EF7C3B-2402-4381-8224-40409B004EDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c907b48990f0b38fc776909338940be055a6bf1","datavalue":{"value":{"text":"Formal Safety Net Control Using Backward Reachability Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6077141$424D12BF-183C-4E4D-BBEF-C5C54797F206","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"044b2d0edf223ca6309d39807e4a737f92a95c08","datavalue":{"value":{"entity-type":"item","numeric-id":2178183,"id":"Q2178183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077141$91207A91-C9AB-47D2-BEEB-3B1D7EF6E017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76c51d61b3d9cd3e653f6b67f88351b90aca1cf1","datavalue":{"value":{"entity-type":"item","numeric-id":6077140,"id":"Q6077140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077141$5266D4A1-34C8-4BD0-98A7-349E96266527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c27e4631b2c9b13c752eefec6794fe8a11e84f","datavalue":{"value":{"entity-type":"item","numeric-id":2116656,"id":"Q2116656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077141$A5736266-A9F7-4494-A081-F531FED5D229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077141$F71AEE56-5505-4252-9FDC-0A50B0784700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6077141$6FD026CE-3127-4510-B3B7-B1216B393720","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75720be84732b5e4c6160ae45afc596463d1f635","datavalue":{"value":{"time":"+2023-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6077141$BF47C4C6-6801-4A91-BCFF-317EA7F53747","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077141$F03D53F5-9511-4737-A6F3-BB4C2172619B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9987dbd565de41f9208c91b0307de8958761389","datavalue":{"value":"7741761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077141$69E9D42A-AC6A-47D0-8923-CD0573E71034","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$D39F8EEA-9296-4EAD-97E0-EFA5647539CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea008119d2b4d34a6178699763411ea9bdb6961","datavalue":{"value":"backward reachable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$DC36F1C2-FB9C-43C5-99CB-964BF898ABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f0e54402c024bb0d2565eaf031a5cae21286e0","datavalue":{"value":"constrained systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$E9E6FE4F-1A79-46F1-B13A-10C65459B0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed1ee523a671938775e6cb1853ad3d9bbc7f35ea","datavalue":{"value":"disturbed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$D2606714-0E33-42BB-AB5D-B3146554CAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4651fae9d12e26bb456e8184d8837c6e4544d5e","datavalue":{"value":"nonlinear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$6F0198CD-5B2B-48D8-98C4-8B0540A4C345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$BDD29649-558A-4F14-91B1-CC46DC240744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63252299337cbef4abdcf20b9e85ffe6adc6cb3","datavalue":{"value":"safety controller","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$5C830EAB-4CD4-48C8-9440-05578700C21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10ec5373f83fcccae4cd5caa5da85fab2b1fffe3","datavalue":{"value":"safety net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$9ED8DC7F-0A6B-436C-86C0-263CE8A4D9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c06c0ec487b92852685c7312cae507372ffe64a","datavalue":{"value":"set-based control","type":"string"},"datatype":"string"},"type":"statement","id":"Q6077141$FABA62D2-6CA5-4BB7-86D8-FCC44473C2A3","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":"Q6077141$5D8DDFDF-B1AB-4753-9818-57B1DAE3EC9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"641ca36faf19f88e8a0fc852bb2ad104b6f56aa6","datavalue":{"value":"https://doi.org/10.1109/tac.2021.3124188","type":"string"},"datatype":"url"},"type":"statement","id":"Q6077141$72E74CF6-8FB4-45BF-A53C-AF9DE9E56DF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41243ecbcd1d321d681efefdc64a20a723fb9207","datavalue":{"value":"W3209748707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077141$7A02FF01-A833-4FD2-AA39-03B86E104AFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d19b8ffcdb22ea2f2ccc788d2f054ba6f9efcbc0","datavalue":{"value":"10.1109/TAC.2021.3124188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6077141$53942522-C029-49B1-8426-2E930804B0E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Safety Net Control Using Backward Reachability Analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Safety_Net_Control_Using_Backward_Reachability_Analysis"}}}}}