Zobrazeno 1 - 10
of 152
pro vyhledávání: '"Scott D. Stoller"'
Autor:
Scott D. Stoller
Publikováno v:
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f533bfc03a982b458b3b3298a46b9c0d
https://doi.org/10.1145/3589608.3593816
https://doi.org/10.1145/3589608.3593816
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:615-640
Neural state classification (NSC) is a recently proposed method for runtime predictive monitoring of hybrid automata (HA) using deep neural networks (DNNs). NSC trains a DNN as an approximate reachability predictor that labels an HA state x as positi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1fe5bf148c9bed2d612d3fcd8e93d51a
https://doi.org/10.1007/s10009-021-00623-1
https://doi.org/10.1007/s10009-021-00623-1
Publikováno v:
Runtime Verification ISBN: 9783031171956
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b88943e64927326c7b750a2ad7550d39
https://doi.org/10.1007/978-3-031-17196-3_6
https://doi.org/10.1007/978-3-031-17196-3_6
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ed17d7d1aadb25711dd690d6fef7502
https://doi.org/10.1007/978-3-031-19759-8_7
https://doi.org/10.1007/978-3-031-19759-8_7
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
Autor:
Yanhong A. Liu, Scott D. Stoller
Publikováno v:
Logical Foundations of Computer Science ISBN: 9783030930998
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1d1f27f09c170489c0bb3d65b01aca3
https://doi.org/10.1007/978-3-030-93100-1_11
https://doi.org/10.1007/978-3-030-93100-1_11
Autor:
Yanhong A. Liu, Scott D. Stoller
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 325:220-222
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::afc8c39632d4cf2febe49f1624c70389
https://doi.org/10.4204/eptcs.325.26
https://doi.org/10.4204/eptcs.325.26
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