Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRichard M. Murray
Person information
- affiliation: California Institute of Technology, Pasadena, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j62]John Anthony Rossiter
, Christos G. Cassandras, João Pedro Hespanha, Sebastián Dormido, Luis de la Torre, Gireeja Ranade, Antonio Visioli, John D. Hedengren, Richard M. Murray, Panos J. Antsaklis, Françoise Lamnabhi-Lagarrigue, Thomas Parisini:
Control education for societal-scale challenges: A community roadmap. Annu. Rev. Control. 55: 1-17 (2023)- [j61]Ayush Pandey, William Poole, Anandh Swaminathan, Victoria Hsiao, Richard M. Murray:
Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape. J. Open Source Softw. 8(83): 5057 (2023) - [j60]Wei Kang, John Burns, Richard M. Murray:
Advances in theoretical and computational nonlinear control - Dedicated to the 80th birthday of Professor Arthur J. Krener. Syst. Control. Lett. 174: 105492 (2023) - [j59]Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray:
Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design. IEEE Trans. Robotics 39(3): 1853-1872 (2023) - [c254]Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray:
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. ICRA 2023: 12430-12436 - [c253]Fatemeh Aghimand, Chelsea Hu, Saransh Sharma, Krishna K. Pochana, Richard M. Murray, Azita Emami:
A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths. ISSCC 2023: 312-313 - [c252]Apurva Badithela, Josefine B. Graebener, Inigo Incer, Richard M. Murray:
Reasoning over Test Specifications Using Assume-Guarantee Contracts. NFM 2023: 278-294 - [i34]Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications. CoRR abs/2301.09622 (2023) - [i33]Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR abs/2303.17751 (2023) - [i32]Prithvi Akella, Apurva Badithela, Richard M. Murray, Aaron D. Ames:
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration. CoRR abs/2304.03849 (2023) - [i31]Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Context-Aided Variable Elimination for Requirement Engineering. CoRR abs/2305.17596 (2023) - 2022
- [j58]William Poole, Ayush Pandey, Andrey Shur, Zoltán A. Tuza, Richard M. Murray:
BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts. PLoS Comput. Biol. 18(4) (2022) - [c251]Ersin Das, Richard M. Murray:
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions. CDC 2022: 5566-5573 - [c250]Josefine Graebener, Apurva Badithela, Richard M. Murray:
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systemsđagger . NFM 2022: 133-155 - [i30]Ersin Das, Richard M. Murray:
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions. CoRR abs/2201.05758 (2022) - [i29]Josefine Graebener, Apurva Badithela, Richard M. Murray:
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems. CoRR abs/2204.02541 (2022) - [i28]SooJean Han, Michelle Effros, Richard M. Murray:
OUTformation: Distributed Data-Gathering with Feedback under Unknown Environment and Communication Delay Constraints. CoRR abs/2208.06395 (2022) - [i27]Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray:
Evaluation Metrics for Object Detection for Autonomous Systems. CoRR abs/2210.10298 (2022) - [i26]Apurva Badithela, Josefine B. Graebener, Wyatt Ubellacker, Eric V. Mazumdar, Aaron D. Ames, Richard M. Murray:
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows. CoRR abs/2210.10304 (2022) - 2021
- [c249]Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Constrained Risk-Averse Markov Decision Processes. AAAI 2021: 11718-11725 - [c248]Xinying Ren, Christian Cuba Samaniego, Richard M. Murray, Elisa Franco:
Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations. ACC 2021: 652-659 - [c247]Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray:
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CDC 2021: 564-571 - [c246]Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CDC 2021: 4287-4294 - [c245]Ayush Pandey, Richard M. Murray:
Robustness Guarantees for Structured Model Reduction of Dynamical Systems. CDC 2021: 6920-6927 - [c244]Michaëlle N. Mayalu, Anish A. Sarma, Fangzhou Xiao, John C. Doyle, Richard M. Murray:
Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis*. ECC 2021: 312-318 - [c243]Tung Phan-Minh, Richard M. Murray:
Contracts of Reactivity. ECC 2021: 2611-2618 - [c242]Richard Cheng, Richard M. Murray, Joel W. Burdick:
Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. ICRA 2021: 3182-3189 - [i25]Ugo Rosolia, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications. CoRR abs/2103.01476 (2021) - [i24]Richard Cheng, Richard M. Murray, Joel W. Burdick:
Limits of Probabilistic Safety Guarantees when Considering Human Uncertainty. CoRR abs/2103.03388 (2021) - [i23]Josefine Graebener, Tung Phan-Minh, Jiaqi Yan, Qiming Zhao, Richard M. Murray:
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. CoRR abs/2103.12919 (2021) - [i22]Apurva Badithela, Tichakorn Wongpiromsarn, Richard M. Murray:
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications. CoRR abs/2105.07343 (2021) - [i21]Apurva Badithela, Richard M. Murray:
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems. CoRR abs/2108.05911 (2021) - [i20]Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Risk-Averse Decision Making Under Uncertainty. CoRR abs/2109.04082 (2021) - 2020
- [c241]Francesca Baldini, Animashree Anandkumar, Richard M. Murray:
Learning Pose Estimation for UAV Autonomous Navigation and Landing Using Visual-Inertial Sensor Data. ACC 2020: 2961-2966 - [c240]Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Risk-Averse Planning Under Uncertainty. ACC 2020: 3305-3312 - [c239]Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. ACC 2020: 3814-3821 - [c238]Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CDC 2020: 790-795 - [c237]Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray:
Reactive motion planning with probabilisticsafety guarantees. CoRL 2020: 1958-1970 - [c236]Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. ICCPS 2020: 196-205 - [i19]Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray:
Counter-example Guided Learning of Bounds on Environment Behavior. CoRR abs/2001.07233 (2020) - [i18]Prithvi Akella, Mohamadreza Ahmadi, Richard M. Murray, Aaron D. Ames:
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions. CoRR abs/2004.04227 (2020) - [i17]Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray:
Reactive motion planning with probabilistic safety guarantees. CoRR abs/2011.03590 (2020) - [i16]Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray:
Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles. CoRR abs/2011.14148 (2020) - [i15]Mohamadreza Ahmadi, Ugo Rosolia, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Constrained Risk-Averse Markov Decision Processes. CoRR abs/2012.02423 (2020)
2010 – 2019
- 2019
- [c235]Richard Cheng, Gábor Orosz, Richard M. Murray, Joel W. Burdick:
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. AAAI 2019: 3387-3395 - [c234]Sumanth Dathathri, Sicun Gao, Richard M. Murray:
Inverse Abstraction of Neural Networks Using Symbolic Interpolation. AAAI 2019: 3437-3444 - [c233]Tung Phan-Minh, Steve Guo, Bastian Schürmann, Matthias Althoff, Richard M. Murray:
A modal interface contract theory for guarded input/output automata with an application in traffic system design. ACC 2019: 1704-1711 - [c232]Karena X. Cai, Alexei Harvard, Richard M. Murray, Soon-Jo Chung:
Robust Estimation Framework with Semantic Measurements. ACC 2019: 3809-3816 - [c231]Jin I. Ge, Bastian Schürmann, Richard M. Murray, Matthias Althoff:
Risk-aware motion planning for automated vehicle among human-driven cars. ACC 2019: 3987-3993 - [c230]Vipul Singhal, Richard M. Murray:
Transforming Data Across Environments Despite Structural Non-Identifiability. ACC 2019: 5639-5646 - [c229]Tung Phan-Minh, Karena X. Cai, Richard M. Murray:
Towards Assume-Guarantee Profiles for Autonomous Vehicles. CDC 2019: 2788-2795 - [c228]Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray:
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. CDC 2019: 6282-6287 - [c227]Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray:
Counter-example Guided Learning of Bounds on Environment Behavior. CoRL 2019: 898-909 - [c226]Michaëlle N. Mayalu, Harman Mehta, Richard M. Murray:
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits. ECC 2019: 2152-2158 - [c225]Xinying Ren, Richard M. Murray:
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia. ECC 2019: 2651-2656 - [i14]Richard Cheng, Gábor Orosz, Richard M. Murray, Joel W. Burdick:
End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks. CoRR abs/1903.08792 (2019) - [i13]Tung Phan-Minh, Karena X. Cai, Richard M. Murray:
Towards Assume-Guarantee Profiles for Autonomous Vehicles. CoRR abs/1909.04850 (2019) - [i12]Mohamadreza Ahmadi, Masahiro Ono, Michel D. Ingham, Richard M. Murray, Aaron D. Ames:
Risk-Averse Planning Under Uncertainty. CoRR abs/1909.12499 (2019) - [i11]Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. CoRR abs/1911.08626 (2019) - [i10]Francesca Baldini, Animashree Anandkumar, Richard M. Murray:
Learning Pose Estimation for UAV Autonomous Navigation andLanding Using Visual-Inertial Sensor Data. CoRR abs/1912.04527 (2019) - 2018
- [j57]Domitilla Del Vecchio, Yili Qian, Richard M. Murray, Eduardo D. Sontag:
Future systems and control research in synthetic biology. Annu. Rev. Control. 45: 5-17 (2018) - [j56]Pavithra Prabhakar, Jun Liu, Richard M. Murray:
Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems. Discret. Event Dyn. Syst. 28(3): 349-374 (2018) - [j55]Ioannis Filippidis, Richard M. Murray:
Layering Assume-Guarantee Contracts for Hierarchical System Design. Proc. IEEE 106(9): 1616-1654 (2018) - [c224]Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray:
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ADHS 2018: 271-276 - [c223]Wolfgang Halter, Frank Allgöwer, Richard M. Murray, András György:
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-Free Extracts. CDC 2018: 1872-1879 - [c222]Xinying Ren, Richard M. Murray:
Role of interaction network topology in controlling microbial population in consortia. CDC 2018: 2691-2697 - [c221]Jin I. Ge, Richard M. Murray:
Voluntary lane-change policy synthesis with control improvisation. CDC 2018: 3640-3647 - [c220]Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames:
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Robotics: Science and Systems 2018 - [i9]Sumanth Dathathri, Stephan Zheng, Richard M. Murray, Yisong Yue:
Detecting Adversarial Examples via Neural Fingerprinting. CoRR abs/1803.03870 (2018) - 2017
- [j54]Françoise Lamnabhi-Lagarrigue, Anuradha Annaswamy, Sebastian Engell, Alf J. Isaksson, Pramod P. Khargonekar, Richard M. Murray, Henk Nijmeijer, Tariq Samad, Dawn M. Tilbury, Paul M. J. Van den Hof:
Systems & Control for the future of humanity, research agenda: Current and future roles, impact and grand challenges. Annu. Rev. Control. 43: 1-64 (2017) - [j53]Yilin Mo, Richard M. Murray:
Privacy Preserving Average Consensus. IEEE Trans. Autom. Control. 62(2): 753-765 (2017) - [c219]Anthony T. Fragoso, Larry H. Matthies, Richard M. Murray:
A fast motion planning representation for configuration flat robots with applications to micro air vehicles. ACC 2017: 4195-4202 - [c218]Jin I. Ge, Gábor Orosz, Richard M. Murray:
Connected cruise control design using probabilistic model checking. ACC 2017: 4964-4970 - [c217]Sumanth Dathathri, Richard M. Murray:
Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis. CDC 2017: 911-917 - [c216]Xinying Ren, Ania-Ariadna Baetica, Anandh Swaminathan, Richard M. Murray:
Population regulation in microbial consortia using dual feedback control. CDC 2017: 5341-5347 - [c215]Sumanth Dathathri, Scott C. Livingston, Richard M. Murray:
Enhancing tolerance to unexpected jumps in GR(1) games. ICCPS 2017: 37-47 - [c214]Sumanth Dathathri, Nikos Aréchiga, Sicun Gao, Richard M. Murray:
Learning-Based Abstractions for Nonlinear Constraint Solving. IJCAI 2017: 592-599 - [c213]Michele Colledanchise, Richard M. Murray, Petter Ögren:
Synthesis of correct-by-construction behavior trees. IROS 2017: 6039-6046 - [c212]Sumanth Dathathri, Ioannis Filippidis, Richard M. Murray:
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States. ISRR 2017: 827-842 - [i8]Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model Predictive Control for Signal Temporal Logic Specification. CoRR abs/1703.09563 (2017) - [i7]Sumanth Dathathri, Richard M. Murray:
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis. CoRR abs/1709.07094 (2017) - 2016
- [j52]Marcella M. Gomez, Richard M. Murray, Matthew R. Bennett:
The Effects of Time-Varying Temperature on Delays in Genetic Networks. SIAM J. Appl. Dyn. Syst. 15(3): 1734-1752 (2016) - [j51]Marcella M. Gomez, Mehdi Sadeghpour, Matthew R. Bennett, Gábor Orosz, Richard M. Murray:
Stability of Systems with Stochastic Delays and Applications to Genetic Regulatory Networks. SIAM J. Appl. Dyn. Syst. 15(4): 1844-1873 (2016) - [c211]Ioannis Filippidis, Sumanth Dathathri, Scott C. Livingston, Necmiye Ozay, Richard M. Murray:
Control design for hybrid systems with TuLiP: The Temporal Logic Planning toolbox. CCA 2016: 1030-1041 - [c210]Anandh Swaminathan, Richard M. Murray:
Linear system identifiability from distributional and time series data. ACC 2016: 392-399 - [c209]Ioannis Filippidis, Richard M. Murray:
Symbolic construction of GR(1) contracts for systems with full information. ACC 2016: 782-789 - [c208]Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray:
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. CDC 2016: 434-440 - [c207]Samira S. Farahani, Ivan Papusha, Catharine McGhan, Richard M. Murray:
Constrained autonomous satellite docking via differential flatness and model predictive control. CDC 2016: 3306-3311 - [c206]András György, Richard M. Murray:
Quantifying resource competition and its effects in the TX-TL system. CDC 2016: 3363-3368 - [c205]Samira S. Farahani, Zofia Lukszo, Tamás Keviczky, Bart De Schutter, Richard M. Murray:
Robust model predictive control for an uncertain smart thermal grid. ECC 2016: 1195-1200 - [c204]Richard M. Murray:
Synthesis of reactive controllers for hybrid systems (keynote). POPL 2016: 3 - [c203]Benson Christalin, Michele Colledanchise, Petter Ögren, Richard M. Murray:
Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications. SSCI 2016: 1-8 - 2015
- [j50]Peter Trautman, Jeremy Ma, Richard M. Murray, Andreas Krause:
Robot navigation in dense human crowds: Statistical models and experimental studies of human-robot cooperation. Int. J. Robotics Res. 34(3): 335-356 (2015) - [j49]Andrea Censi, Richard M. Murray:
Bootstrapping bilinear models of Simple Vehicles. Int. J. Robotics Res. 34(8): 1087-1113 (2015) - [j48]Shuo Han, Molei Tao, Ufuk Topcu, Houman Owhadi, Richard M. Murray:
Convex Optimal Uncertainty Quantification. SIAM J. Optim. 25(3): 1368-1387 (2015) - [j47]Huan Xu, Ufuk Topcu, Richard M. Murray:
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution. IEEE Trans. Control. Netw. Syst. 2(2): 193-203 (2015) - [c202]Samira S. Farahani, Vasumathi Raman, Richard M. Murray:
Robust Model Predictive Control for Signal Temporal Logic Synthesis. ADHS 2015: 323-328 - [c201]Mattias Fält, Vasumathi Raman, Richard M. Murray:
Variable elimination for scalable receding horizon temporal logic planning. ACC 2015: 1917-1922 - [c200]Yutaka Hori, Richard M. Murray:
Engineering principles of synthetic biochemical oscillators with negative cyclic feedback. CDC 2015: 584-589 - [c199]Enoch Yeung, Jongmin Kim, Jorge M. Gonçalves, Richard M. Murray:
Global network identification from reconstructed dynamical structure subnetworks: Applications to biochemical reaction networks. CDC 2015: 881-888 - [c198]Ania A. Baetica, Ye Yuan, Jorge M. Gonçalves, Richard M. Murray:
A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks. CDC 2015: 3199-3205 - [c197]Ivan Papusha, Richard M. Murray:
Analysis of control systems on symmetric cones. CDC 2015: 3971-3976 - [c196]Robert Mattila, Yilin Mo, Richard M. Murray:
An iterative abstraction algorithm for reactive correct-by-construction controller synthesis. CDC 2015: 6147-6152 - [c195]Yutaka Hori, Richard M. Murray:
A state-space realization approach to set identification of biochemical kinetic parameters. ECC 2015: 2280-2285 - [c194]Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia:
Reactive synthesis from signal temporal logic specifications. HSCC 2015: 239-248 - [c193]Scott C. Livingston, Eric M. Wolff, Richard M. Murray:
Cross-entropy temporal logic motion planning. HSCC 2015: 269-278 - [c192]Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray:
Online horizon selection in receding horizon temporal logic planning. IROS 2015: 3493-3499 - [c191]Ioannis Filippidis, Richard M. Murray, Gerard J. Holzmann:
A multi-paradigm language for reactive synthesis. SYNT 2015: 73-97 - [r1]Domitilla Del Vecchio, Richard M. Murray:
Synthetic Biology. Encyclopedia of Systems and Control 2015 - [i6]Ioannis Filippidis, Richard M. Murray:
Symbolic construction of GR(1) contracts for synchronous systems with full information. CoRR abs/1508.02705 (2015) - [i5]Robert Mattila, Yilin Mo, Richard M. Murray:
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis. CoRR abs/1509.04125 (2015) - 2014
- [j46]Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia:
A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access 2: 1-25 (2014) - [j45]Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014) - [j44]Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. J. Aerosp. Inf. Syst. 11(10): 665-678 (2014) - [c190]Ivan Papusha, Eugene Lavretsky, Richard M. Murray:
Collaborative system identification via parameter consensus. ACC 2014: 13-19 - [c189]