monitor

package
v0.5.1 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: May 1, 2026 License: MIT Imports: 3 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

This section is empty.

Types

type Decision 

type Decision struct {
	State        string
	StateIndex   int
	Risk         float64
	Intervention bool
}

Decision is one runtime monitoring result.

type Monitor 

type Monitor[O any] struct {
	Model       *markov.Model
	Abstraction abstraction.Interface[O]
	Unsafe      map[int]struct{}
	Threshold   float64
	Solver      markov.ReachabilityOptions
}

Monitor evaluates runtime observations against a learned Markov-chain model.

func (Monitor[O]) Observe 

func (m Monitor[O]) Observe(observation O) (Decision, error)

Observe encodes an observation, computes probability of eventually reaching an unsafe state, and flags intervention if Risk > Threshold.

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.