Zobrazeno 1 - 10
of 4 324
pro vyhledávání: '"Murray, P. M."'
Autor:
Schmid, Christian, Murray, James M.
The ability of a brain or a neural network to efficiently learn depends crucially on both the task structure and the learning rule. Previous works have analyzed the dynamical equations describing learning in the relatively simplified context of the p
Externí odkaz:
http://arxiv.org/abs/2409.03749
Autor:
Kent, Jonathan S., Murray, Michael M.
This work proposes a methodology for determining the maximum dependency length of a recurrent neural network (RNN), and then studies the effects of architectural changes, including the number and neuron count of layers, on the maximum dependency leng
Externí odkaz:
http://arxiv.org/abs/2408.11946
Autor:
Tyagi, Vishweshwar, Murray, Lynda M., Asan, Ahmet S., Mandigo, Christopher, Virk, Michael S., Harel, Noam Y., Carmel, Jason B., McIntosh, James R.
Electromagnetic stimulation probes and modulates the neural systems that control movement. Key to understanding their effects is the muscle recruitment curve, which maps evoked potential size against stimulation intensity. Current methods to estimate
Externí odkaz:
http://arxiv.org/abs/2407.08709
Autor:
Graebener, Josefine B., Badithela, Apurva S., Goktas, Denizalp, Ubellacker, Wyatt, Mazumdar, Eric V., Ames, Aaron D., Murray, Richard M.
Designing tests to evaluate if a given autonomous system satisfies complex specifications is challenging due to the complexity of these systems. This work proposes a flow-based approach for reactive test synthesis from temporal logic specifications,
Externí odkaz:
http://arxiv.org/abs/2404.09888
We consider the problem of reasoning about networked and layered control systems using assume-guarantee specifications. As these systems are formed by the interconnection of components that operate under various clocks, we introduce a new logic, Mult
Externí odkaz:
http://arxiv.org/abs/2402.11666
Autor:
Incer, Inigo, Benveniste, Albert, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Deriving system-level specifications from component specifications usually involves the elimination of variables that are not part of the interface of the top-level system. This paper presents algorithms for eliminating variables from formulas by com
Externí odkaz:
http://arxiv.org/abs/2305.17596
Control Barrier Functions (CBFs) allow for efficient synthesis of controllers to maintain desired invariant properties of safety-critical systems. However, the problem of identifying a CBF remains an open question. As such, this paper provides a cons
Externí odkaz:
http://arxiv.org/abs/2304.03849
Autor:
Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.
Contract-based design is a method to facilitate modular system design. While there has been substantial progress on the theory of contracts, there has been less progress on scalable algorithms for the algebraic operations in this theory. In this pape
Externí odkaz:
http://arxiv.org/abs/2303.17751
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications
We propose an adversarial, time-varying test-synthesis procedure for safety-critical systems without requiring specific knowledge of the underlying controller steering the system. From a broader test and evaluation context, determination of difficult
Externí odkaz:
http://arxiv.org/abs/2301.09622
Autor:
Badithela, Apurva, Graebener, Josefine B., Ubellacker, Wyatt, Mazumdar, Eric V., Ames, Aaron D., Murray, Richard M.
We study automated test generation for verifying discrete decision-making modules in autonomous systems. We utilize linear temporal logic to encode the requirements on the system under test in the system specification and the behavior that we want to
Externí odkaz:
http://arxiv.org/abs/2210.10304