Pierluigi Nuzzo - Publications, H-index & Citations

Pierluigi Nuzzo

University of California

28H指数

181论文数

2.9K被引数

收录论文 14

发表时间

Equivalent and Compact Representations of Neural Network Controllers With Decision Trees 基于决策树的神经网络控制器等效且紧凑的表示方法

IEEE Transactions on Automatic Control

IF7

2026-03-20

PREAI

Kevin Chang; Nathan Dahlin; Rahul Jain; Pierluigi Nuzzo

Passivity tools for hybrid learning rules in large populations 大群体中混合学习规则的被动性工具

Automatica

IF5.9

2026-02-18

OAAI

Jair Certório; Kevin Chang; Nuno C. Martins; Pierluigi Nuzzo; Yasser Shoukry

Contract Embeddings for Layered Control Architectures 分层控制架构的合同嵌入

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

IF2.6

2025-09-01

OAAI

Naik, Nikhil Vijay; Pinto, Alessandro; Nuzzo, Pierluigi

Optimal Control of Logically Constrained Partially Observable and Multiagent Markov Decision Processes

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2025-01-01

OAAI

Kalagarla, Krishna C.; Kartik, Dhruva; Shen, Dongming; Jain, Rahul; Nayyar, Ashutosh; Nuzzo, Pierluigi

Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

NONLINEAR ANALYSIS-HYBRID SYSTEMS

IF4.1

2024-11-01

OAAI

Geretti, Luca; Collins, Pieter; Nuzzo, Pierluigi; Villa, Tiziano

Provably Safe Design Methodology for Automatic Longitudinal Control of Autonomous Vehicles 自主车辆自动纵向控制的可证明安全设计方法

IEEE Transactions on Intelligent Vehicles

IF14.3

2024-01-29

PREAI

Muhammad Waqas; Pierluigi Nuzzo; Petros A. Ioannou

SMC: Satisfiability Modulo Convex Programming SMC: 可满足性模凸规划

PROCEEDINGS OF THE IEEE

IF25.9

2018-09-01

OAAI

Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo

Design Automation for Smart Building Systems

PROCEEDINGS OF THE IEEE

IF25.9

2018-09-01

OAAI

Jia, Ruoxi; Jin, Baihong; Jin, Ming; Zhou, Yuxun; Konstantakopoulos, Ioannis C.; Zou, Han; Kim, Joyce; Li, Dan; Gu, Weixi; Arghandeh, Reza; Nuzzo, Pierluigi; Schiavon, Stefano; Sangiovanni-Vincentelli, Alberto L.; Spanos, Costas J.

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach 传感器攻击下网络物理系统的安全状态估计: 一种可满足性模理论方法

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2017-10-01

216

OAAI

Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

PROCEEDINGS OF THE IEEE

IF25.9

2015-11-01

106

OAAI

Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano

A Contract-Based Methodology for Aircraft Electric Power System Design 基于合同的飞机电力系统设计方法

IEEE ACCESS

IF3.6

2014-01-01

125

OAAI

Nuzzo, Pierluigi; Xu, Huan; Ozay, Necmiye; Finn, John B.; Sangiovanni-Vincentelli, Alberto L.; Murray, Richard M.; Donze, Alexandre; Seshia, Sanjit A.

Methodology for the Design of Analog Integrated Interfaces Using Contracts

IEEE SENSORS JOURNAL

IF4.5

2012-12-01

PREAI

Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto; Sun, Xuening; Puggelli, Alberto

A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS

IF5.2

2012-01-01

PREAI

Nuzzo, Pierluigi; Nani, Claudio; Armiento, Costantino; Sangiovanni-Vincentelli, Alberto; Craninckx, Jan; Van der Plas, Geert