• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis.

Sasinee PruekprasertJérémy DubutToru TakisakaClovis EberhartAhmet Cetinkaya
Published in: Autom. (2024)
Keyphrases
  • safety analysis
  • safety critical
  • expert systems
  • control system
  • intelligent systems
  • artificial intelligence
  • distributed systems
  • learning systems
  • complex systems
  • symbolic model checking
  • fault model