Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Extension of probabilistic gain, phase, disk and delay margins for multi-input multi-output space control systems

Subjects: probabilistic mu-analysis; verification and validation; space systemsSOPOT; Poland

  • Source: 12th International Conference on Guidance, Navigation & Control Systems (GNC 2023)GNC 2023https://hal.science/hal-0415112712th International Conference on Guidance, Navigation & Control

Record details

×
Conference

Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks ; Prise en compte efficace et précise des flux périodiques en TSN

Subjects: temps réel; réseaux de communications; performancesSan Antonio; United StatesSan Antonio, United States

  • Source: 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS)https://hal.science/hal-041561922023 IEEE 29th Real-Time and Embedded Technology and Applications

Record details

×
Conference

A Verified UAV Flight Plan Generator

Subjects: Code Generation; Compilation; Mechanized proofMelbourne; Australia

  • Source: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE)https://hal.science/hal-041654272023 IEEE/ACM 11th International Conference on Formal

Record details

×
Conference

Multi-objective bayesian optimization with mixed-categorical design variables for expensive-to-evaluate aeronautical applications

Subjects: Bayesian optimization; multi-objective problems; mixed-categorical variablesLisbonne; Portugal

  • Source: AeroBest 2023 - II ECCOMAS Thematic Conference on Multidisciplinary Design Optimization of Aerospace Systems - Proceedings ; AEROBEST 2023 ; https://hal.science/hal-04170287 ; AEROBEST 2023, ECCOMAS,

Record details

×
Conference

BOARD-AI: A Goal Recognition-Based Objective-Aware Modeling Interface for Systems Engineering

Subjects: planification de tâche; intelligence artificielle; interaction homme-machinePrague; Czech Republic

  • Source: 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)https://hal.science/hal-0431768233rd International Conference on Automated Planning and Scheduling (ICAPS

Record details

×