sisl/SatelliteDynamics.jl

SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.

Language: Julia - Size: 46.6 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 63 - Forks: 7

sisl/astra-rl

The Adaptive Stress Testing for Robust AI (ASTRA) toolbox provides tooling to support model developers and testing in the full life cycle of making more robust AI Systems through the application of adaptive stress testing and adversarial training.

Language: Python - Size: 1.68 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

sisl/MPOPIS

Adaptive importance sampling modification to MPPI

Language: Julia - Size: 48.2 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 106 - Forks: 14

sisl/StructuredGaussianMixtures.jl

Language: Julia - Size: 352 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

sisl/PicoSAT.jl

Julia bindings to the SAT solver picosat

Language: Julia - Size: 108 KB - Last synced at: 17 days ago - Pushed at: over 1 year ago - Stars: 31 - Forks: 8

sisl/POMDPModelChecking.jl

Perform Model Checking and POMDP Planning from LTL specifications using POMDPs.jl

Language: Julia - Size: 2.69 MB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 15 - Forks: 3

sisl/BayesianSafetyValidation.jl

Estimate probability of failure using reframed Bayesian optimization

Language: Jupyter Notebook - Size: 3.25 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 10 - Forks: 2

sisl/RunwayLib.jl

Language: HTML - Size: 5.56 MB - Last synced at: 7 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0

sisl/Crux.jl

Julia library for deep reinforcement learning

Language: Julia - Size: 13.3 MB - Last synced at: 16 days ago - Pushed at: 6 months ago - Stars: 63 - Forks: 16

sisl/ExpFamilyPCA.jl

A Julia package for exponential family principal component analysis (EPCA).

Language: Julia - Size: 17.8 MB - Last synced at: about 15 hours ago - Pushed at: 20 days ago - Stars: 10 - Forks: 2

sisl/RoombaPOMDPs.jl

Formulation of Roomba localization as a POMDP

Language: Julia - Size: 1.16 MB - Last synced at: 7 days ago - Pushed at: 27 days ago - Stars: 5 - Forks: 14

sisl/RunwayPNPSolve.jl

Language: Julia - Size: 36.9 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

sisl/LiPOMDP_Validation

Language: Python - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

sisl/BayesNets.jl

Bayesian Networks for Julia

Language: Julia - Size: 1.28 MB - Last synced at: 19 days ago - Pushed at: 5 months ago - Stars: 227 - Forks: 49

sisl/AutomotivePOMDPs.jl

Language: Jupyter Notebook - Size: 25.6 MB - Last synced at: 23 days ago - Pushed at: over 5 years ago - Stars: 23 - Forks: 8

sisl/D3Trees.jl

Flexible interactive visualization for large trees in Julia using D3.js

Language: Julia - Size: 277 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 44 - Forks: 9

sisl/OVERT.jl

Relational piecewise-linear overapproximations of multi-dimensional functions

Language: Jupyter Notebook - Size: 6.19 MB - Last synced at: 15 days ago - Pushed at: almost 2 years ago - Stars: 20 - Forks: 2

sisl/AV-Robust-Planning-Diffusion-Failure-Sampler

Language: Python - Size: 15 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

sisl/ventilators

Code for the paper "Optimal Control of Mechanical Ventilators with Learned Respiratory Dynamics"

Language: Python - Size: 3.52 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

sisl/MultiAgentPOMDPProblems.jl

Collection of multiagent POMDP problems used in the Dec-POMDP literature.

Language: Julia - Size: 86.9 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 0

sisl/Spot.jl

Julia wrapper for the Spot LTL and automata manipulation library

Language: Julia - Size: 391 KB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 1

sisl/PyroRL

An RL environment made for wildfire evacuation.

Language: Python - Size: 4.6 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 18 - Forks: 0

sisl/deep_flow_control

Source code for "Deep Dynamical Modeling and Control of Unsteady Fluid Flows" from NeurIPS 2018

Language: Python - Size: 9.98 MB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 49 - Forks: 18

sisl/AutomotiveSimulator.jl

Package for automotive simulation in julia

Language: Julia - Size: 79.5 MB - Last synced at: 8 days ago - Pushed at: about 3 years ago - Stars: 29 - Forks: 12

sisl/ConstructionBots.jl

An open-source multi-robot manufacturing simulator designed to test algorithms for multi-robot assembly planning.

Language: Julia - Size: 28.9 MB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 15 - Forks: 1

sisl/Multilane.jl

Simulation and control of an autonomous car on a multilane highway in a (PO)MDP framework

Language: Julia - Size: 161 MB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 24 - Forks: 7

sisl/zero_order_rnn

This is the official repo of "Scaling Recurrent Neural Networks to a Billion Parameters with Zero-Order Optimization"

Language: Python - Size: 1.69 MB - Last synced at: 18 days ago - Pushed at: 3 months ago - Stars: 4 - Forks: 3

sisl/InteractionSimulator

Simulator for the INTERACTION dataset

Language: Python - Size: 202 KB - Last synced at: about 24 hours ago - Pushed at: almost 3 years ago - Stars: 32 - Forks: 5

sisl/LatentImportanceSampling

Language: Python - Size: 59.4 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1

sisl/NeuralVerification.jl

Methods to soundly verify deep neural networks

Language: Julia - Size: 15.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 229 - Forks: 51

sisl/InformativePathPlanning

Language: Julia - Size: 24.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 2

sisl/ASTPrompter

Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.

Language: Python - Size: 42.4 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

sisl/LDrawParser.jl

Language: Julia - Size: 63.2 MB - Last synced at: 8 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

sisl/GaussianFilters.jl

Julia Package for discrete-time linear Gaussian parametric filtering systems, namely KF, EKF, UKF, GM-PHD

Language: Jupyter Notebook - Size: 1.58 MB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 46 - Forks: 11

sisl/POMDPStressTesting.jl

Adaptive stress testing of black-box systems within POMDPs.jl

Language: Julia - Size: 2.91 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 16 - Forks: 6

sisl/tufte_algorithms_book

A template for textbooks in the same style as Algorithms for Optimization

Language: TeX - Size: 276 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 363 - Forks: 69

sisl/ExprRules.jl

Functions for declaring and working with grammars and expression trees in Julia.

Language: Julia - Size: 104 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 25 - Forks: 9

sisl/MIAC_BiLQR

Model Identification and Adaptive Control with ρ-POMDP Planning

Language: Julia - Size: 0 Bytes - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

sisl/AA222Project1

Starter code for Project 1 of Stanford AA222/CS361 (Engineering Design Optimization)

Language: Julia - Size: 22.5 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 23

sisl/LocalFunctionApproximation.jl

Scalar-valued local function approximation across a real-valued vector space

Language: Julia - Size: 35.2 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 6 - Forks: 6

sisl/GridInterpolations.jl

Multidimensional grid interpolation in arbitrary dimensions

Language: Julia - Size: 407 KB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 53 - Forks: 13

sisl/DividedRectangles.jl

Divided Rectangles global optimization method

Language: Julia - Size: 1.03 MB - Last synced at: 14 days ago - Pushed at: 7 months ago - Stars: 5 - Forks: 1

sisl/ground-station-optimizer Fork of duncaneddy/ground-station-optimizer

Optimal selection of ground station providers and networks — 2025 IEEE Aerospace Conference

Language: Python - Size: 8.44 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

sisl/SOFA.jl

Unofficial wrapper of the IAU SOFA C libraries for fundamental astronomy.

Language: Julia - Size: 738 KB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 1

sisl/Registry

A julia registry for SISL's julia packages

Size: 110 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

sisl/StanfordAA228V.jl

Code for Stanford's AA228V/CS238V: Validation of Safety-Critical Algorithms

Language: Julia - Size: 2.17 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

sisl/Kov.jl

Black-box red teaming/jailbreaking of large language models (LLMs) using MDPs

Language: Julia - Size: 362 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 7 - Forks: 1

sisl/XPlaneConnectX

Python and Julia code for interfacing with X-Plane through UDP; similarly to XPlaneConnect, but also works for X-Plane 12.

Language: Julia - Size: 20.7 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 17 - Forks: 0

sisl/SignalTemporalLogic.jl

Signal temporal logic (STL) formulas and robustness in Julia

Language: Julia - Size: 1010 KB - Last synced at: 15 days ago - Pushed at: 8 months ago - Stars: 14 - Forks: 2

sisl/AA228VLectureNotebooks

Notebooks paired with lectures for Stanford's AA228V course.

Language: HTML - Size: 7.82 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

sisl/Vec.jl

2D and 3D vectors and their operations for Julia

Language: Julia - Size: 101 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 13 - Forks: 2

sisl/WildfirePOMDPs.jl

Wildfire resource allocation MDP and POMDP

Language: Julia - Size: 1.23 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

sisl/SceneInformer

This is the official implementation of the paper "Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments" by Bernard Lange, Jiachen Li, and Mykel J. Kochenderfer.

Language: Jupyter Notebook - Size: 3.51 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 26 - Forks: 5

sisl/AA120Q

AA120Q Course Materials

Language: Julia - Size: 29.5 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 28 - Forks: 9

sisl/AutonomousRiskFramework.jl

Framework for autonomous vehicle risk assessment

Language: Julia - Size: 87.6 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3

sisl/Discretizers.jl

A Julia package for data discretization and label maps

Language: Julia - Size: 347 KB - Last synced at: 17 days ago - Pushed at: 7 months ago - Stars: 19 - Forks: 15

sisl/SPAIS.jl

Optimize state-dependent importance sampling proposals for safety validation of autonomous systems.

Language: Julia - Size: 13.7 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

sisl/AA228V-FAQs

FAQs for the AA228V/CS238V programming projects

Size: 5.86 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

sisl/AA228VProjects

Programming projects for Stanford's AA228V/CS238V Validation of Safety-Critical Systems

Language: Julia - Size: 130 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 1

sisl/ExprOptimization.jl

Algorithms for optimization of Julia expressions

Language: Jupyter Notebook - Size: 3 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 45 - Forks: 11

sisl/action_suggestions

Code supporting the paper Collaborative Decision Making Using Action Suggestions.

Language: Julia - Size: 32.4 MB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 0

sisl/NNet

Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.

Language: Python - Size: 345 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 40 - Forks: 20

sisl/OVERTVerify.jl

Language: Jupyter Notebook - Size: 9.38 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 8 - Forks: 0

sisl/DensityIntegrator.jl

Construct prediction sets with known probability mass for arbitrary (moderately) high-dimensional probability density functions.

Language: Julia - Size: 60.5 KB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

sisl/Gradescope.jl

Julia interface for Gradescope autograding

Language: Julia - Size: 13.7 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 7 - Forks: 2

sisl/CGS_CCS

Language: Jupyter Notebook - Size: 10.2 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

sisl/sisl-deadlines Fork of paperswithcode/ai-deadlines

:alarm_clock: SISL conference deadline countdowns

Language: JavaScript - Size: 922 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 7 - Forks: 5

sisl/AutomotiveVisualization.jl

Visualize automotive simulation from AutomotiveSimulator.jl

Language: Julia - Size: 309 MB - Last synced at: 14 days ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 4

sisl/MADRL

Repo containing code for multi-agent deep reinforcement learning (MADRL).

Language: Python - Size: 442 KB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 663 - Forks: 123

sisl/OptimizationCourse

Language: Jupyter Notebook - Size: 6.3 MB - Last synced at: 10 months ago - Pushed at: about 8 years ago - Stars: 74 - Forks: 35

sisl/ngsim_env

Learning human driver models from NGSIM data with imitation learning.

Language: Jupyter Notebook - Size: 56.4 MB - Last synced at: 10 months ago - Pushed at: over 5 years ago - Stars: 173 - Forks: 79

sisl/AA228-CS238-Student

Starter code and data files for AA228/CS238 at Stanford University, Autumn 2021

Language: Julia - Size: 3.77 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 20 - Forks: 102

sisl/AA228Student.jl 📦

Stanford University's AA228/CS238 student project workspace (Autumn 2019)

Language: Julia - Size: 1.19 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 5 - Forks: 7

sisl/SBO_AIPPMS

Gaussian Process-based Adaptive Informative Path Planning with Multimodal Sensing

Language: Julia - Size: 53.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 1

sisl/pomdpland

A tour of Pomdpland

Language: TeX - Size: 1.04 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 9 - Forks: 1

sisl/CPOMCPPlus

Language: Julia - Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

sisl/CollisionAvoidancePOMDPs.jl

Aircraft collision avoidance POMDP in POMDPs.jl

Language: Julia - Size: 442 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 1

sisl/rltools

A collection of tools for conducting deep reinforcement learning experiments

Language: Python - Size: 226 KB - Last synced at: 10 months ago - Pushed at: almost 9 years ago - Stars: 8 - Forks: 4

sisl/DiFS

Diffusion-based Failure Sampling

Language: Python - Size: 66.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

sisl/VerticalCAS

Language: Julia - Size: 678 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 9 - Forks: 8

sisl/Chimp

General purpose framework for deep reinforcement learning

Language: Python - Size: 2.09 MB - Last synced at: 10 months ago - Pushed at: over 8 years ago - Stars: 72 - Forks: 15

sisl/AutomotiveDrivingModels.jl

Driving simulation architecture for Julia

Language: Julia - Size: 87 MB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 63 - Forks: 29

sisl/AA222Project2

Starter code for Project 2 of Stanford AA222/CS361 (Engineering Design Optimization) Spring 2020

Language: Julia - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 16

sisl/CUDD.jl

Wrapper for the CUDD library for decision diagrams

Language: Julia - Size: 154 KB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 8

sisl/BetaZero.jl

Belief-state planning for POMDPs using learned approximations

Language: Julia - Size: 34.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 4

sisl/WildcardArrays.jl

Compact representations of multidimensional arrays

Language: Julia - Size: 78.1 KB - Last synced at: 8 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

sisl/NGSIM.jl

A Julia package for handling the Next Generation Simulation (NGSIM) traffic dataset

Language: Jupyter Notebook - Size: 2.52 MB - Last synced at: 10 months ago - Pushed at: almost 6 years ago - Stars: 36 - Forks: 28

sisl/SCoBA.jl

Stochastic Conflict-Based Allocation

Language: Julia - Size: 1.18 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 45 - Forks: 6

sisl/AutoViz.jl

Provides visualization tools for AutomotiveDrivingModels. Built on Cairo

Language: Julia - Size: 192 MB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 33 - Forks: 9

sisl/TaskGraphs.jl

Precedence constrained multi-agent task assignment and path finding

Language: Julia - Size: 78.2 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 4

sisl/COBTSExperiments

Language: Julia - Size: 227 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

sisl/AA222Project0

Starter code for Project 0 of Stanford AA222/CS361 (Engineering Design Optimization)

Language: Python - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 21

sisl/WorldOnRails Fork of dotchen/WorldOnRails

(Fork) [ICCV 2021, Oral] RL and distillation in CARLA using a factorized world model

Language: Python - Size: 7.96 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

sisl/WindFarmPOMDP

Decision making for optimally placing Sensors and Turbines in a Wind Farm

Language: Julia - Size: 137 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

sisl/TrafficDelayAnalysis

This repository contains the event-driven simulation code for traffic delay analysis

Language: Matlab - Size: 7.07 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1

sisl/WeaknessRecognition.jl

Black-box validation through encoded failure representation of weaknesses

Language: Julia - Size: 9.94 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

sisl/TestFunctions.jl

Test functions for evaluating optimization algorithms.

Language: Jupyter Notebook - Size: 208 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

sisl/TrafficPropagationModel

Model details, parameters, and associated code for traffic propagation models associated with "Traffic Propagation Models for Estimating Collision Risk"

Language: Julia - Size: 375 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1

sisl/StructuredMechModels.jl

A library of learned models for mechanical systems

Language: Julia - Size: 46.9 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

sisl/SpaceLaunchASD

Optimal Aircraft Rerouting during Space Launches using Adaptive Spatial Discretization

Language: Jupyter Notebook - Size: 241 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 1