# Predicting the Likely Behaviors of Continuous Nonlinear Systems in Equilibrium

This paper introduces a method for predicting the likely behaviors of continuous nonlinear systems in equilibrium in which the input values can vary. The method uses a parameterized equation model and a lower bound on the input joint density to bound the likelihood that some behavior will occur, such as a state variable being inside a given numeric range. Using a bound on the density instead of the density itself is desirable because often the input density's parameters and shape are not exactly known. The new method is called SAB after its basic operations: split the input value space into smaller regions, and then bound those regions' possible behaviors and the probability of being in them. SAB finds rough bounds at first, and then refines them as more time is given. In contrast to other researchers' methods, SAB can (1) find all the possible system behaviors, and indicate how likely they are, (2) does not approximate the distribution of possible outcomes without some measure of the error magnitude, (3) does not use discretized variable values, which limit the events one can find probability bounds for, (4) can handle density bounds, and (5) can handle such criteria as two state variables both being inside a numeric range.

research
01/27/2020

### Predicting Regression Probability Distributions with Imperfect Data Through Optimal Transformations

The goal of regression analysis is to predict the value of a numeric out...
research
09/14/2021

### Learning Density Distribution of Reachable States for Autonomous Systems

State density distribution, in contrast to worst-case reachability, can ...
research
12/05/2022

### On the exact region determined by Spearman's rho and Spearman's footrule

We determine the lower bound for possible values of Spearman's rho of a ...
research
08/10/2021

### Best lower bound on the probability of a binomial exceeding its expectation

Let X be a random variable distributed according to the binomial distrib...
research
05/04/2023

### Functional Properties of the Ziv-Zakai bound with Arbitrary Inputs

This paper explores the Ziv-Zakai bound (ZZB), which is a well-known Bay...
research
03/27/2013

### NAIVE: A Method for Representing Uncertainty and Temporal Relationships in an Automated Reasoner

This paper describes NAIVE, a low-level knowledge representation languag...
research
01/24/2018

### Free Energy Minimization Using the 2-D Cluster Variation Method: Initial Code Verification and Validation

A new approach for general artificial intelligence (GAI), building on ne...