pettni Goto Github PK

academic_homepage

academic_homepage2

Academic homepage template built with Angular and Bootstrap

aoc2023

Advent of code

arcs

Abstraction-refinement synthesis for temporal logic specifications

autodiff

automatic differentiation made easier for C++

cmake

Mirror of CMake upstream repository

cps-inv

No longer developed, superseded by the https://github.com/pettni/pcis repository

dotfiles

Readme in .yadm/

dotfiles-simple

ezconfig

Instantiate C++ Objects from yaml and json

gpstron

Real-life TRON with GPS-equipped laptops

jpsl

Jump-point search in three dimensions

latex-dropbox-diff

Track changes in a latex document based on Dropbox history

lp2d

Two-dimensional linear programming

manif

A small c++11 header-only library for Lie theory.

mdp_network

Modeling and solutions of stochastic dynamic programming problems

mkz

Polysync and Matlab-based control software for a Lincoln MKZ

mode-count

Solve counting problems via integer optimization

multi-cinv

Matlab code for computing invariant sets of parametrized systems

palette

A beamerposter theme

pcis

Tool for manipulation of polyhedral controlled-invariant sets

pdf-abstraction

Now developed in the mdp_network repository

pettni.github.io

posipoly

POSItive POLYnomial optimization (sums of squares, sdsos) for Python

rclcpp

rclcpp (ROS Client Library for C++)

reach_density

Inner and outer approximations of reachable sets via polynomial optimization

scr_website

Static website for academic conferences built with Jekyll

separable_invariance

A method to synthesize separable invariant sets

smooth

Lie theory for robotics

smooth_feedback

Control and estimation on Lie groups