Logička analiza hibridnih sustava (CROSBI ID 213953)
Prilog u časopisu | stručni rad
Podaci o odgovornosti
Gavran, Ivan ; Vuković, Mladen
hrvatski
Logička analiza hibridnih sustava
Suvremena razina znanosti i inžinjerstva omogućuje razvoj vrlo složenih sustava. Uz razvoj takvih sustava, jednako važnu ulogu predstavlja i njihova analiza. Ona omogućuje - već na razini modela - donošenje zaključaka o ponašanju budućih sustava, ispravljanje potencijalnih nedostataka i upotrebu optimalne tehnologije. Pojam hibridni sustavi označava sustave koji u sebi sadrže diskretnu (primjerice digitalnu) i kontinuiranu (primjerice fizikalnu) komponentu. Takvi su sustavi česti u automobilskoj industriji, zračnom i željezničkom prometu, medicinskim uređajima... U ovom članku razmatramo tzv. logičku analizu hibridnih sustava.
hibridni sustav ; diferencijalna dinamička logika
nije evidentirano
engleski
Logical analysis hybrid systems
nije evidentirano
hybrid system ; differential dinamic logic
nije evidentirano