{"entities":{"Q2252961":{"pageid":2263704,"ns":120,"title":"Item:Q2252961","lastrevid":57812034,"modified":"2026-04-02T15:33:08Z","type":"item","id":"Q2252961","labels":{"en":{"language":"en","value":"Time-constrained temporal logic control of multi-affine systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320466"}},"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":"Q2252961$71E4E159-FB55-4FCE-9D46-28C5430E4252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fa6dee5057e31143249c00b69487f3bf2468871","datavalue":{"value":{"text":"Time-constrained temporal logic control of multi-affine systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2252961$FED33910-B9C4-493A-84BC-281EA2AC6B4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aacaa866d540e65ff70a776ca01cf3a266a0bff2","datavalue":{"value":"1302.93113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$2374AC8C-88C3-48C2-AFE8-DC84EA95E569","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"931831a3ed1a298c970ccdda8fbf5e7cb412d3f0","datavalue":{"value":{"entity-type":"item","numeric-id":889005,"id":"Q889005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$372CDCBC-A39A-4EC1-846C-0AD766FF214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a9bc0dd2218172a714bfff2e47becf5e5a96ec","datavalue":{"value":{"entity-type":"item","numeric-id":184778,"id":"Q184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$52ABED57-D969-4A3F-B0BC-B5E7E7DA0F9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$B8E9AF11-BCD0-4E44-92FD-3016992E5C76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2252961$2170E84E-5971-4CB4-A801-1A963AB02281","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a00a2cb4037662f9b3b9bff15ba48c584627bf6","datavalue":{"value":"https://arxiv.org/abs/1203.5683","type":"string"},"datatype":"url"},"type":"statement","id":"Q2252961$8CEF576F-F3B2-4C84-8C7F-2DEBFF671056","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6790b275905eadd7fd454b371002fda7d0ee06ce","datavalue":{"value":"In the paper, the following problem is considered: Given a multi--affine control system and syntactically co--safe Linear Temporal Logic (LTL) formula over rectangular subregions of the state space, find a set of initial states for which there exists a control strategy such that all the trajectories of the closed--loop system satisfy the formula within a given bound. Syntactically co--safe LTL formulas can be used to describe finite horizon specification such as target reachability with obstacles avoidance: ''always avoid obstacle O until reaching target T'', sequencing constraints ''go to C and not go to A or B unless C was visited before'', and more complex temporal and Boolean combinations of these.   The authors describe in detail the control strategy based on deterministic B\u00fcchi automata. An iterative refinement procedure via a random optimization algorithm is proposed. Also two examples are given. Computational experiments can be performed using the authors' Matlab program conPAS available for download from the webside hyness.bu.edu/software.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252961$5105339E-133E-443E-8373-56F293CCCF26","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17b8fbf391540514ff1bc80aec0499a4666069f5","datavalue":{"value":{"entity-type":"item","numeric-id":305013,"id":"Q305013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$7B17564B-29AD-4C99-AC54-BFE071E1B2EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0916e5de0ac6f52471290e56f7212aa9a67dd8fe","datavalue":{"value":"93B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$FC5E0B71-201E-4E2B-8DB1-E7FA1BC2CD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484eaf08775232cffaa1ce81f75027f82e88b5db","datavalue":{"value":"93B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$B3E437F6-93DE-4155-A665-CD3F863C258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18d3ff98a6b36ff583aa8db8acc5f9669058d6c6","datavalue":{"value":"49K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$C45A708E-A65D-4E8A-A47B-8FE02EFF615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$CD46000F-92B1-4530-8E57-2BB9F4BF9A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccd1dd4cefa81e8158b9f080486a4eaed61a9ee8","datavalue":{"value":"90C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$0C05C239-EF5D-4350-9865-5699F8EFB96B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0437269d30564882a39a09a2ace20974ddc11e2","datavalue":{"value":"6320466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$7830858A-E8CC-45FC-8DA4-3773345FCE0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aa5b19444b3b99bc31cd9fd8fe97fccd1a3ac07","datavalue":{"value":"multi--afine systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252961$B8E07C66-01EF-4287-AA2B-5D3E2E5E2271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd63d506a4c13107a3aed9bb746e28db1fe5bb1","datavalue":{"value":"control design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252961$1218190A-E04C-465E-81D5-4E17D810ED28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252961$B733B271-F0F0-4F01-A2DB-1E292431E123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252961$70DC8435-E562-4C94-9D0C-610BCB02F6A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85ebf17f43136ebafd6fff4b8ae5f3bdaa038adc","datavalue":{"value":{"entity-type":"item","numeric-id":22905,"id":"Q22905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$19BB8CDE-CCE6-41D3-ACE0-72ACDD8A8B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$3B4C0AFB-B64B-4B62-9793-7D721F110551","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":"Q2252961$CAA69520-71C5-4645-B189-3A97614244DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1050d2693cfb34a4cab8428f33eb048b1636d768","datavalue":{"value":"W2052412483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$6EF2F079-4150-497B-897E-FEBD81FC5B1C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"55ed075d36668cd535d659d9f1b1a1105db0ede0","datavalue":{"value":"Q58233191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$7E54E99C-D1C6-496A-B395-26283ABB7D84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab702fb645e1fd078009ae355fae5263062dc47","datavalue":{"value":{"entity-type":"item","numeric-id":2985872,"id":"Q2985872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$E94B7E55-79E0-4A37-86BD-47DE127F337C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1964c95e59063e92317da65c8b196839c0f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4974124,"id":"Q4974124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$2DFA3F7E-BAD2-493E-AC0C-C3339B5A25F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$2CABCEA9-135F-4130-8618-09CD64552FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75892faacdd97c36520212d868b89ce76553026","datavalue":{"value":{"entity-type":"item","numeric-id":5352845,"id":"Q5352845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$897FD42A-E632-4C27-923E-8C7A8005E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a647c62cf48289f8a40a0c7cdd162c9806e377","datavalue":{"value":{"entity-type":"item","numeric-id":2986756,"id":"Q2986756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$F3DF47E2-7044-41B3-B60E-9346BEAE4935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed658e7231383b1c034b90db423146c582b12fbf","datavalue":{"value":{"entity-type":"item","numeric-id":3996565,"id":"Q3996565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$0F840F61-83C3-42FF-BC05-D9A5ECFCE44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0803f111cd4e855bc5fba7f06e46df59b58592a0","datavalue":{"value":{"entity-type":"item","numeric-id":5281971,"id":"Q5281971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$C3F8F4F6-AD0F-4A49-B601-DC44C700F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fe5e4abf2d41b7956a4cc29b717dfd999acdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5347900,"id":"Q5347900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$81F6FCDF-546E-4054-A156-E042F5885D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d50b93d54df301bc551583d7ecb3946373f017","datavalue":{"value":{"entity-type":"item","numeric-id":533800,"id":"Q533800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$790BC96F-01D3-4BF6-AAB5-7EB667C160D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$5AC5DF9E-FC1A-4637-B04A-361AD38E96EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f330d99f36f3980011c2b242bffc1ecc1eb86a","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$5BC23710-EB2D-4000-96D1-CD9A80FA49F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3599051772dd05fe3142041f15d079d629c74842","datavalue":{"value":{"entity-type":"item","numeric-id":3523114,"id":"Q3523114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$10D00648-4986-4A1B-8BE9-54A8F1177B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41336a0fd1e8678e1c50ddb0bbc994bc685228e0","datavalue":{"value":{"entity-type":"item","numeric-id":4249561,"id":"Q4249561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$F561392E-F828-4714-9E1A-C399AFF6D940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1106c119fcb65d763fbeb300c5b35f1b99facbe5","datavalue":{"value":{"entity-type":"item","numeric-id":1007551,"id":"Q1007551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252961$95E56704-D125-4C3F-BC6F-74593D017D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5d332be5cc0bb2b96f2bace494c76cf75fc1b45","datavalue":{"value":"10.1016/J.NAHS.2013.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252961$87B79986-3C8E-4C93-A555-0E4CC1D8657C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d4572116fe6db6e0dd668c71a1cefa3b2b359a","datavalue":{"value":{"entity-type":"item","numeric-id":4897712,"id":"Q4897712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b6d959646e5c4d68cef9894078c63771ee5a8e","datavalue":{"value":{"amount":"+0.8104836940765381","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":"Q2252961$7E3A0591-D012-4B92-B084-FA858B478B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1c81809ee9cfccafc4a087d552d45e1db5412","datavalue":{"value":{"entity-type":"item","numeric-id":889006,"id":"Q889006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71df6bca44bc05b15964a810ec16e8535c2907f3","datavalue":{"value":{"amount":"+0.8021280169487","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":"Q2252961$266EF43F-20F9-46B0-9A94-E01C95B86BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d707412c020563091d3c4cf69f7ed09d9e70e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":2986939,"id":"Q2986939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a09c1cdfffc1ee95bc7c173f4a5821c91b5a89","datavalue":{"value":{"amount":"+0.7884085774421692","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":"Q2252961$3F47BF1C-E7BA-4C25-A810-1D9FFEC07D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"064afa6e4fe8408cae29d167e8e5319a37b047f7","datavalue":{"value":{"entity-type":"item","numeric-id":5275336,"id":"Q5275336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08bafeb4fe5a9a19b28fec90db67b766c1534f2","datavalue":{"value":{"amount":"+0.7583553791046143","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":"Q2252961$E2602B87-C860-460B-868A-C1A6366EEF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26ca38605e2403b0f741c8814ca4f78de65a1698","datavalue":{"value":{"entity-type":"item","numeric-id":3523118,"id":"Q3523118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b968215de924b31ec5e46e7c816446483f10c2","datavalue":{"value":{"amount":"+0.7508565187454224","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":"Q2252961$DDDA9A3C-5B83-4850-B182-CD394C59CAB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2252961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2252961"}}}}}