Alert button
Picture for Manfred Morari

Manfred Morari

Alert button

Certified Invertibility in Neural Networks via Mixed-Integer Programming

Jan 27, 2023
Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Ioannis G. Kevrekidis, Mahyar Fazlyab

Figure 1 for Certified Invertibility in Neural Networks via Mixed-Integer Programming
Figure 2 for Certified Invertibility in Neural Networks via Mixed-Integer Programming
Figure 3 for Certified Invertibility in Neural Networks via Mixed-Integer Programming
Figure 4 for Certified Invertibility in Neural Networks via Mixed-Integer Programming
Viaarxiv icon

Learning to Control Linear Systems can be Hard

May 27, 2022
Anastasios Tsiamis, Ingvar Ziemann, Manfred Morari, Nikolai Matni, George J. Pappas

Figure 1 for Learning to Control Linear Systems can be Hard
Viaarxiv icon

Adaptive Stochastic MPC under Unknown Noise Distribution

Apr 03, 2022
Charis Stamouli, Anastasios Tsiamis, Manfred Morari, George J. Pappas

Figure 1 for Adaptive Stochastic MPC under Unknown Noise Distribution
Figure 2 for Adaptive Stochastic MPC under Unknown Noise Distribution
Figure 3 for Adaptive Stochastic MPC under Unknown Noise Distribution
Figure 4 for Adaptive Stochastic MPC under Unknown Noise Distribution
Viaarxiv icon

Stability Analysis of Complementarity Systems with Neural Network Controllers

Nov 15, 2020
Alp Aydinoglu, Mahyar Fazlyab, Manfred Morari, Michael Posa

Figure 1 for Stability Analysis of Complementarity Systems with Neural Network Controllers
Figure 2 for Stability Analysis of Complementarity Systems with Neural Network Controllers
Figure 3 for Stability Analysis of Complementarity Systems with Neural Network Controllers
Figure 4 for Stability Analysis of Complementarity Systems with Neural Network Controllers
Viaarxiv icon

Learning to Track Dynamic Targets in Partially Known Environments

Jun 17, 2020
Heejin Jeong, Hamed Hassani, Manfred Morari, Daniel D. Lee, George J. Pappas

Figure 1 for Learning to Track Dynamic Targets in Partially Known Environments
Figure 2 for Learning to Track Dynamic Targets in Partially Known Environments
Figure 3 for Learning to Track Dynamic Targets in Partially Known Environments
Figure 4 for Learning to Track Dynamic Targets in Partially Known Environments
Viaarxiv icon

BayesRace: Learning to race autonomously using prior experience

May 10, 2020
Achin Jain, Pratik Chaudhari, Manfred Morari

Figure 1 for BayesRace: Learning to race autonomously using prior experience
Figure 2 for BayesRace: Learning to race autonomously using prior experience
Figure 3 for BayesRace: Learning to race autonomously using prior experience
Figure 4 for BayesRace: Learning to race autonomously using prior experience
Viaarxiv icon

Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming

Apr 16, 2020
Haimin Hu, Mahyar Fazlyab, Manfred Morari, George J. Pappas

Figure 1 for Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
Figure 2 for Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
Figure 3 for Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
Figure 4 for Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
Viaarxiv icon

Computing the racing line using Bayesian optimization

Feb 12, 2020
Achin Jain, Manfred Morari

Figure 1 for Computing the racing line using Bayesian optimization
Figure 2 for Computing the racing line using Bayesian optimization
Figure 3 for Computing the racing line using Bayesian optimization
Figure 4 for Computing the racing line using Bayesian optimization
Viaarxiv icon

NeurOpt: Neural network based optimization for building energy management and climate control

Jan 22, 2020
Achin Jain, Francesco Smarra, Enrico Reticcioli, Alessandro D'Innocenzo, Manfred Morari

Figure 1 for NeurOpt: Neural network based optimization for building energy management and climate control
Figure 2 for NeurOpt: Neural network based optimization for building energy management and climate control
Figure 3 for NeurOpt: Neural network based optimization for building energy management and climate control
Figure 4 for NeurOpt: Neural network based optimization for building energy management and climate control
Viaarxiv icon

Large Scale Model Predictive Control with Neural Networks and Primal Active Sets

Oct 23, 2019
Steven W. Chen, Tianyu Wang, Nikolay Atanasov, Vijay Kumar, Manfred Morari

Figure 1 for Large Scale Model Predictive Control with Neural Networks and Primal Active Sets
Figure 2 for Large Scale Model Predictive Control with Neural Networks and Primal Active Sets
Figure 3 for Large Scale Model Predictive Control with Neural Networks and Primal Active Sets
Figure 4 for Large Scale Model Predictive Control with Neural Networks and Primal Active Sets
Viaarxiv icon