Abstrakt. Tidsfördröjningssystem är en viktig klass av dynamiska system som ger en solid matematisk ram för att hantera många tillämpningsområden av intresse. I detta dokument fokuserar vi på icke-linjära styrsystem med okända och tidsvarierande fördröjningssignaler och vi föreslår en strategi för styrningsdesign av sådana system, som bygger på konstruktion av symboliska modeller. Symboliska modeller är abstrakta beskrivningar av dynamiska system där ett symboliskt tillstånd och en symbolisk input motsvarar ett aggregat av stater och ett aggregat av indata. Vi introducerar först begreppet input-delay-to-state stabilitet och karakteriserar det med hjälp av Lyapunov-Krasovskii funktioner. Vi får sedan tillräckligt med förutsättningar för att det skall finnas symboliska modeller som visar sig vara växlande ungefär biliknande det ursprungliga systemet. Ytterligare resultat härleds också som visar att de föreslagna symboliska modellerna kan beräknas i ett begränsat antal steg. Nyckelord: Tidsfördröjningssystem, symboliska modeller, alternerande ungefärlig bisimulering, stegvis indatafördröjning till tillstånd, tidsförskjutningar.
Därefter visade de sig ha samma resultat för det stegvisa input-delay-to-state stabila (δ-IDSS) ickelinjära tidsfördröjningssystemet med okända och tidsvarierande förseningar i REF.
Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation
{'venue': None, 'journal': 'arXiv: Optimization and Control', 'mag_field_of_study': ['Mathematics']}