Browsing by Subject Discrete-time systems
Showing results 1 to 13 of 13
| Issue Date | Title | Author(s) |
| 2005 | The application of discrete time methods to position estimation in indoor wireless networks | Buhagiar, Julian K.; Debono, Carl James |
| 2024 | Developing an IoT and machine learning-based monitoring system for discrete production processes | Król, Krzysztof; Oleszek, Michał; Bartnik, Grzegorz; Ivashko, Olena; Rutkowski, Marek; Hernas, Adam |
| 1998 | Discrete-time adaptive control of nonlinear systems using neural networks | Fabri, Simon G.; Kadirkamanathan, Visakan |
| 2009-02 | Dual adaptive dynamic control of mobile robots using neural networks | Bugeja, Marvin K.; Fabri, Simon G.; Camilleri, Liberato |
| 1996 | Dynamic structure neural networks for stable adaptive control of nonlinear systems | Fabri, Simon G.; Kadirkamanathan, Visakan |
| 2019 | Global exponential stabilisation of acyclic traffic networks | Kontorinaki, Maria; Karafyllis, Iasson; Papageorgiou, Markos |
| 2016 | Global exponential stabilization of freeway models | Karafyllis, Iasson; Kontorinaki, Maria; Papageorgiou, Markos |
| 2015 | An LTL proof system for runtime verification | Cini, Clare; Francalanza, Adrian |
| 2016 | Nonlinear adaptive control scheme for discrete-time systems with application to freeway traffic flow networks | Karafyllis, Iasson; Kontorinaki, Maria; Papageorgiou, Markos |
| 2017 | Nonlinear feedback control for general acyclic traffic networks | Kontorinaki, Maria; Karafyllis, Iasson; Papageorgiou, Markos |
| 2015 | On verifying Hennessy-Milner logic with recursion at runtime | Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
| 2017 | Robust global adaptive exponential stabilization of discrete-time systems with application to freeway traffic control | Karafyllis, Iasson; Kontorinaki, Maria; Papageorgiou, Markos |
| 2006 | Runtime validation using interval temporal logic | D’Emanuele, Karlston; Pace, Gordon J. |
