Pregled bibliografske jedinice broj: 740744
Logička analiza hibridnih sustava
Logička analiza hibridnih sustava // Poučak : časopis za metodiku i nastavu matematike, 15 (2014), 58; 4-16 (podatak o recenziji nije dostupan, članak, stručni)
CROSBI ID: 740744 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Logička analiza hibridnih sustava
(Logical analysis hybrid systems)
Autori
Gavran, Ivan ; Vuković, Mladen
Izvornik
Poučak : časopis za metodiku i nastavu matematike (1332-3008) 15
(2014), 58;
4-16
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, stručni
Ključne riječi
hibridni sustav ; diferencijalna dinamička logika
(hybrid system ; differential dinamic logic)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
MZOS-037-0372781-2809 - Geometrija Frobeniusa (Vuković, Mladen, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb,
Prirodoslovno-matematički fakultet, Zagreb
