Semantic search
From Murray Wiki
Jump to navigationJump to search- Contracts of Reactivity (Authors: Tung Phan-Minh and Richard M. Murray, Source: Submitted, Int'l Conf on Formal Modeling and Analysis of Timed Systems (FORMATS) 2019)
- Layering assume-guarantee contracts for hierarchical system design (Authors: Ioannis Filippidis and Richard M. Murray, Source: Proceedings of the IEEE, 2018)
- Model Predictive Control for Signal Temporal Logic Specifications (Authors: Vasumathi Raman, Alexandre Donze ́, Mehdi Maasoumy, Richard M. Murray, Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia, Source: Submitted, IEEE T. Automatic Control (2 Jan 2016))
- Symbolic construction of GR(1) contracts for systems with full information (Authors: Ioannis Filippidis and Richard M. Murray, Source: 2016 American Control Conference (ACC))
- Reactive Synthesis from Signal Temporal Logic Specifications (Authors: Vasumathi Raman, Alexandre Donze, Dorsa Sadigh, Richard M. Murray and Sanjit A. Seshia, Source: 2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
- Cross-entropy Temporal Logic Motion Planning (Authors: Scott C. Livingston, Eric M. Wolff, Richard M. Murray, Source: Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
- A Contract-Based Methodology for Aircraft Electric Power System Design (Authors: P. Nuzzo, H. Xu, N. Ozay, J. B. Finn, A. L. Sangiovanni-Vincentelli, R. M. Murray, A. Donze, S. A. Seshia, Source: IEEE Access, 2014. DOI 10.1109/ACCESS.2013.2295764)
- Synthesis of Control Protocols for Autonomous Systems (Authors: Tichakorn Wongpiromsarn, Ufuk Topcu and Richard M. Murray, Source: Unmanned Systems, 1(1):21-39 (2013))
