Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Usama Mehmood"'
Autor:
Usama Mehmood, Aqsa Tahir
Publikováno v:
Pakistan Journal of Rehabilitation. 12:18-26
Background and Aim: The majority of people suffered with low back pain (LBP) at least once during their lifetime. As such, LBP is a highly prevalent and costly condition. People respond inappropriately as a result of current or possible risks and est
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9580cdc31049a0f00cba7390ab8135d9
https://doi.org/10.36283/pjr.zu.12.1/004
https://doi.org/10.36283/pjr.zu.12.1/004
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::377f7692511954cebc2eacf4876cdc2c
https://doi.org/10.1007/978-3-031-06773-0_12
https://doi.org/10.1007/978-3-031-06773-0_12
Publikováno v:
ACC
We introduce the concept of Distributed Model Predictive Control (DMPC) with Acceleration-Weighted Neighborhooding (AWN) in order to synthesize a distributed and symmetric controller for high-speed flocking maneuvers (angu-lar turns in general). Acce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59854d3a53670eb6df00db70d8d6500e
https://doi.org/10.23919/acc50511.2021.9483155
https://doi.org/10.23919/acc50511.2021.9483155
Publikováno v:
CAADCPS@CPSIoTWeek
Modern cyber-physical systems (CPS) interact with the physical world, hence their correctness is important. In this work, we build upon the Simplex Architecture, where control authority may switch from an unverified and potentially unsafe advanced co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ea6e8d8678165f99e73aff46a0afe461
https://doi.org/10.1145/3457335.3461712
https://doi.org/10.1145/3457335.3461712
Publikováno v:
Formal Methods in Outer Space ISBN: 9783030873479
Formal Methods in Outer Space
Formal Methods in Outer Space
The Distributed Simplex Architecture (DSA) extends the Simplex control architecture of Sha et al. to provide runtime safety assurance for multi-agent systems under distributed control. In this paper, we show how DSA can be used to ensure collision-fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee8f8838ac13a76d9ca155e03e0fe260
https://doi.org/10.1007/978-3-030-87348-6_9
https://doi.org/10.1007/978-3-030-87348-6_9
Publikováno v:
Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783030912642
SETTA
SETTA
We present Distributed Simplex Architecture (DSA), a new runtime assurance technique that provides safety guarantees for multi-agent systems (MASs). DSA is inspired by the Simplex control architecture of Sha et al., but with some significant differen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa1b18cd500670c72660a2a5f46467c3
https://doi.org/10.1007/978-3-030-91265-9_13
https://doi.org/10.1007/978-3-030-91265-9_13
Publikováno v:
ACSOS
We show how a high-performing, fully distributed and symmetric neural V-formation controller can be synthesized from a Centralized MPC (Model Predictive Control) controller using Deep Learning. This result is significant as we also establish that und
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9173b51d28f1621ffe69d35eff48771
http://arxiv.org/abs/2006.00680
http://arxiv.org/abs/2006.00680
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030452308
FoSSaCS
FoSSaCS
We show how a symmetric and fully distributed flocking controller can be synthesized using Deep Learning from a centralized flocking controller. Our approach is based on Supervised Learning, with the centralized controller providing the training data
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::642616f3ea764052d7464e9079b76abf
https://doi.org/10.1007/978-3-030-45231-5_1
https://doi.org/10.1007/978-3-030-45231-5_1
Autor:
Scott D. Stoller, Dung T. Phan, Radu Grosu, Scott A. Smolka, Shan Lin, Nicola Paoletti, Usama Mehmood, Ashish Tiwari, Junxing Yang
Publikováno v:
SAC
The popularity of rule-based flocking models, such as Reynolds' classic flocking model, raises the question of whether more declarative flocking models are possible. This question is motivated by the observation that declarative models are generally
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e057835c2c50061d354dbb34983e1076