Tomas Krilavičius
Tomas Krilavičius
Professor of Computer Science, Vytautas Magnus University and Chief Scientist, Baltic Institute of
Verifierad e-postadress på bpti.eu - Startsida
TitelCiteras avÅr
Composition challenges and approaches for cyber physical systems
K Wan, D Hughes, KL Man, T Krilavičius
2010 IEEE International Conference on Networked Embedded Systems for …, 2010
492010
Hybrid Techniques for Hybrid Systems.
T Krilavicius
University of Twente, Enschede, Netherlands, 2006
352006
Using Web 2.0 tools to enhance learning in higher education: A case study in technological education
LEI Chi-Un, N Zhang, K Wan, KL Man, T Krilavičius
Engineers and computer scientists: 2012 IMECS: proceedings of the …, 2012
272012
Process algebraic approach to hybrid systems
E Brinksma, T Krilaviĉius, YS Usenko
IFAC Proceedings Volumes 38 (1), 325-330, 2005
182005
Design and realization of a smart battery management system
C Chen, KL Man, TO Ting, CU Lei, T Krilavičius, T Jeong, J Seon, S Guan, ...
Lecture Notes in Engineering and Computer Science, 2012
172012
Towards a hybrid approach to SoC estimation for a smart Battery Management System (BMS) and battery supported Cyber-Physical Systems (CPS)
KL Man, TO Ting, T Krilavicius, K Wan, C Chen, J Chang, SH Poon
2012 2nd Baltic Congress on Future Internet Communications, 113-116, 2012
142012
Stability analysis for hybrid automata using conservative gains
R Langerak, JW Polderman, T Krilavičius
IFAC Proceedings Volumes 36 (6), 337-342, 2003
142003
Improving power-conversion efficiency via a hybrid MPPT approach for photovoltaic systems
J Ma, KL Man, N Zhang, SU Guan, PWH Wong, EG Lim, T Krilavicius, ...
Elektronika ir Elektrotechnika 19 (7), 57-60, 2013
132013
Modeling and analysis of radiation therapy system with respiratory compensation using Uppaal
KL Man, T Krilavicius, K Wan, D Hughes, K Lee
2011 IEEE Ninth International Symposium on Parallel and Distributed …, 2011
132011
724. Simulation of the radiation therapy system for respiratory movement compensation.
T Krilavičius, D Vitkutė-Adžgauskienė, K Šidlauskas
Journal of Vibroengineering 14 (1), 2012
112012
Simple computational method of predicting electrical characteristics in solar cells
J Ma, KL Man, TO Ting, N Zhang, EG Lim, SU Guan, PWH Wong, ...
Elektronika IR Elektrotechnika 20 (1), 41-44, 2014
102014
A WSN approach to unmanned aerial surveillance of traffic anomalies: Some challenges and potential solutions
D Afolabi, KL Man, HN Liang, EG Lim, Z Shen, CU Lei, T Krilavičius, ...
East-West Design & Test Symposium (EWDTS 2013), 1-4, 2013
102013
Investigation on composition mechanisms for cyber physical systems
K Wan, D Hughes, KL Man, T Krilavicius, S Zou
International Journal of Design, Analysis and Tools for Integrated Circuits …, 2011
102011
TEPAWSN: A formal analysis tool for wireless sensor networks
KL Man, T Krilavicius, T Vallee, HL Leung
International Journal of Research and Reviews in Computer Science 1 (1), 24, 2010
102010
On structural analysis of parliamentarian voting data
T Krilavičius, A Žilinskas
Informatica 19 (3), 377-390, 2008
102008
Implementation of high performance multipliers based on approximate compressor design
J Ma, K Man, T Krilavicius, S Guan, T Jeong
Int. Conf. Electrical and Control Technologies, Kaunas, Lithuania, 2011
92011
Mining social science data: a study of voting of the members of the Seimas of Lithuania by using multidimensional scaling and homegeneity analysis
T Krilavičius, V Morkevičius
Intellectual Economics 5 (2), 224-243, 2011
82011
Application of bhave toolset for systems control and mixed-signal design
K Man, T Krilavicius, C Chen, H Leung
Proc. of the Int. MultiConf. of Engineers and Computer Scientists (IMECS), 2010
82010
Functional modelling and analysis of a distributed truck lifting system
T Krilavičius, V Miliukas
ECT-2010: Electrical and control technologies: proceedings of the 5th …, 2010
82010
Hybrid modeling of a vehicle surveillance system with real-time data processing
B Gebremichael, H Hermanns, T Krilavicius, YS Usenko
Proc. Int. Conf. on Dynamical Systems Modeling and Stability Investigation, 419, 2003
82003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20