Research Output

Filter
Article
2020

Reachable set estimation and decentralized control synthesis for a class of large-scale switched systems

Wang, T., Wang, X. & Xiang, W., Jan 1 2020, (Accepted/In press) In : ISA Transactions.

Research output: Contribution to journalArticle

2019

Necessary and sufficient conditions to stability of discrete-time delay systems

Wang, T. & Xiang, W., Nov 2019, In : Journal of the Franklin Institute. 356, 16, p. 9788-9803 16 p.

Research output: Contribution to journalArticle

2018

Global and local deadlock freedom in BIP

Attie, P. C., Bensalem, S., Bozga, M., Jaber, M., Sifakis, J. & Zaraket, F. A., Jan 2018, In : ACM Transactions on Software Engineering and Methodology. 26, 3, 9.

Research output: Contribution to journalArticle

2 Scopus citations

Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems under Arbitrary Switching

Xiang, W., Tran, H. D. & Johnson, T. T., May 2018, In : IEEE Transactions on Automatic Control. 63, 5, p. 1450-1456 7 p.

Research output: Contribution to journalArticle

30 Scopus citations

Unification and logarithmic space

Aubert, C. & Bagnol, M., Jul 31 2018, In : Logical Methods in Computer Science. 14, 3, 6.

Research output: Contribution to journalArticle

2017
5 Scopus citations
2016

A general framework for architecture composability

Attie, P., Baranov, E., Bliudze, S., Jaber, M. & Sifakis, J., Apr 1 2016, In : Formal Aspects of Computing. 28, 2, p. 207-231 25 p.

Research output: Contribution to journalArticle

Open Access
16 Scopus citations

Characterizing co-NL by a group action

Aubert, C. & Seiller, T., May 1 2016, In : Mathematical Structures in Computer Science. 26, 4, p. 606-638 33 p.

Research output: Contribution to journalArticle

8 Scopus citations

Dualized simple type theory

Eades, H., Stump, A. & McCleeary, R., Jan 1 2016, In : Logical Methods in Computer Science. 12, 3

Research output: Contribution to journalArticle

2015

Dissipativity and dwell time specifications of switched discrete-time systems and its applications in H and robust passive control

Xiang, W., Xiao, J. & Zhai, G., Nov 1 2015, In : Information Sciences. 320, p. 206-222 17 p.

Research output: Contribution to journalArticle

14 Scopus citations

ITagPlot: An accurate computation and interactive drawing tool for tag density plot

Kim, S. H., Ezenwoye, O., Cho, H. G., Robertson, K. D. & Choi, J-H., Jan 1 2015, In : Bioinformatics. 31, 14, p. 2384-2387 4 p.

Research output: Contribution to journalArticle

2010

Managing faults for distributed workflows over grids

Ezenwoye, O., Blake, M. B., Dasgupta, G., Sadjadi, S. M., Kalayci, S. & Fong, L. L., Mar 1 2010, In : IEEE Internet Computing. 14, 2, p. 84-88 5 p., 5427403.

Research output: Contribution to journalArticle

3 Scopus citations
2008

A proxy-based approach to enhancing the autonomic behavior in composite services

Ezenwoye, O. & Sadjadi, S. M., May 2008, In : Journal of Networks. 3, 5, p. 42-53 12 p.

Research output: Contribution to journalArticle

19 Scopus citations
2007

Simulating polymorphic operators in C++

Dowell, M. L., Aug 1 2007, Dr. Dobb's Journal, 32, 8, p. 46-55 10 p.

Research output: Contribution to specialist publicationArticle