scispace - formally typeset
K

Ksenia Kolcio

Publications -  20
Citations -  105

Ksenia Kolcio is an academic researcher. The author has contributed to research in topics: Verification and validation & Fault management. The author has an hindex of 5, co-authored 18 publications receiving 65 citations.

Papers
More filters
Proceedings ArticleDOI

Model-based off-nominal state isolation and detection system for autonomous fault management

TL;DR: In this paper, a model-based fault management (FM) system is proposed to provide off-nominal state detection and isolation capabilities that are key components to assessing spacecraft state awareness.
Proceedings ArticleDOI

Model-based approach to rover health assessment for increased productivity

TL;DR: An analysis tool useful for assessing diagnostic performance of a model-based fault management (FM) system called MONSID, designed to provide off-nominal state detection and identification capabilities that are key components to assessing spacecraft state awareness is presented.
Proceedings ArticleDOI

FRESCO: A Framework for Spacecraft Systems Autonomy

TL;DR: The Framework for Robust Execution and Scheduling of Commands On-Board (FRESCO) as discussed by the authors is the result of lessons learned in developing a software architecture to enable autonomous solar system exploration and generalizes this work to offer a modular, software-agnostic approach to developing verifiable architecture for autonomous space systems.
Proceedings ArticleDOI

Model-Based Approach to Rover Health Assessment - Mars Yard Discoveries

TL;DR: The modeling process and test results of the MONSID fault diagnosis system as applied to the mobility subsystem of JPL's Athena development rover revealed several hardware and operational problems, leading to updates in Athena's control firmware and sensor processing software.