J
John B. Finn
Researcher at University of California, Berkeley
Publications - 4
Citations - 222
John B. Finn is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Design space exploration & Cyber-physical system. The author has an hindex of 4, co-authored 4 publications receiving 196 citations.
Papers
More filters
Journal ArticleDOI
A Contract-Based Methodology for Aircraft Electric Power System Design
Pierluigi Nuzzo,Huan Xu,Necmiye Ozay,John B. Finn,Alberto Sangiovanni-Vincentelli,Richard M. Murray,Alexandre Donzé,Sanjit A. Seshia +7 more
TL;DR: A platform-based methodology is proposed, which enables independent implementation of system topology and control protocol by using a compositional approach and is shown to be effective on a proof-of-concept electric power system design.
Proceedings ArticleDOI
A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration
TL;DR: This work proposes a methodology for architecture exploration for Cyber-Physical Systems (CPS) based on an iterative, optimization-based approach, where a discrete architecture selection engine is placed in a loop with a continuous sizing engine.
Proceedings ArticleDOI
Contract-based design of control protocols for safety-critical cyber-physical systems
TL;DR: A platform-based design methodology that addresses the complexity and heterogeneity of cyber-physical systems by using assume-guarantee contracts to formalize the design process and enable realization of control protocols in a hierarchical and compositional manner is introduced.
Posted Content
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems.
TL;DR: This paper introduces a methodology for the design space exploration and virtual prototyping of EPS supervisory control protocols, following the platform-based design (PBD) paradigm, and describes the modeling infrastructure that supports the methodology.