Merge-and-Shrink Abstraction: A Method for Generating Lower Bounds in Factored State SpacesHELMERT, Malte; HASLUM, Patrik; HOFFMANN, Jörg et al.Journal of the Association for Computing Machinery. 2014, Vol 61, Num 3, issn 0004-5411, 16.1-16.63Article

Quadratic control of stochastic hybrid systems with renewal transitionsPOUR SAFAEI, Farshad R; KYOUNGMIN ROH; PROULX, Stephen R et al.Automatica (Oxford). 2014, Vol 50, Num 11, pp 2822-2834, issn 0005-1098, 13 p.Article

Enhancing biometric recognition with spatio-temporal reasoning in smart environments : New Developments in Pervasive and Ambient Information SystemsMENON, Vivek; JAYARAMAN, Bharat; GOVINDARAJU, Venu et al.Personal and ubiquitous computing (Print). 2013, Vol 17, Num 5, pp 987-998, issn 1617-4909, 12 p.Article

A Product Formula Approach to a Nonhomogeneous Boundary Optimal Control Problem Governed by Nonlinear Phase-field Transition System Part II: Lie-Trotter Product FormulaBENINCASA, Tommaso; FAVINI, Angelo; MOROSANU, Costică et al.Journal of optimization theory and applications. 2011, Vol 148, Num 1, pp 31-45, issn 0022-3239, 15 p.Article

On the consistency, expressiveness, and precision of partial modeling formalismsOU WEI; GURFINKEL, Arie; CHECHIK, Marsha et al.Information and computation (Print). 2011, Vol 209, Num 1, pp 20-47, issn 0890-5401, 28 p.Article

Systems Engineering Perspectives on Technology Readiness Assessments in Software-Intensive System DevelopmentHANTOS, Peter.Journal of aircraft. 2011, Vol 48, Num 3, pp 738-748, issn 0021-8669, 11 p.Article

Risk Management in Healthcare ServicesWIBOONRAT, Montri.Security & management. International conferenceWorldComp'2011. 2011, pp 453-457, isbn 1-60132-196-1 1-60132-197-X 1-60132-198-8, 5 p.Conference Paper

Interpreting a finitary pi-calculus in differential interaction netsEHRHARD, Thomas; LAURENT, Olivier.Information and computation (Print). 2010, Vol 208, Num 6, pp 606-633, issn 0890-5401, 28 p.Article

A Minimal Spatial Cellular Automata for Hierarchical Predatory Prey Simulation of Food ChainsHAWICK, K. A; SCOGINGS, C. J.Scientific computing. International conferenceWorldComp'2010. 2010, pp 75-80, isbn 1-60132-137-6, 6 p.Conference Paper

A review of the state-of-the-art of 'smart' systems in surgeryDAVIES, Brian.International journal of intelligent systems technologies and applications (Print). 2010, Vol 8, Num 1-4, pp 423-433, issn 1740-8865, 11 p.Conference Paper

The Impact of Higher-Order State and Control Effects on Local Relational ReasoningDREYER, Derek; NEIS, Georg; BIRKEDAL, Lars et al.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 143-155, issn 1523-2867, 13 p.Conference Paper

Flow-Through Policies for Hybrid Controller Synthesis Applied to Fully Actuated SystemsCONNER, David C; CHOSET, Howie; RIZZI, Alfred A et al.IEEE transactions on robotics. 2009, Vol 25, Num 1, pp 136-146, issn 1552-3098, 11 p.Article

Synthesising CCS bisimulation using graph rewritingBONCHI, Filippo; GADDUCCI, Fabio; KÖNIG, Barbara et al.Information and computation (Print). 2009, Vol 207, Num 1, pp 14-40, issn 0890-5401, 27 p.Article

Average dwell-time approach to _L2 gain control synthesis of switched linear systems with time delay in detection of switching signalXIE, D; WANG, Q; WU, Y et al.IET control theory & applications (Print). 2009, Vol 3, Num 6, pp 763-771, issn 1751-8644, 9 p.Article

Optimal Output Transitions for Dual-Stage SystemsIAMRATANAKUL, Dhanakom; JORDAN, Benjamin; LEANG, Kam K et al.IEEE transactions on control systems technology. 2008, Vol 16, Num 5, pp 869-881, issn 1063-6536, 13 p.Article

Opacity enforcing control synthesisDubreil, Jérémy; Darondeau, Philippe; Marchand, Hervé et al.Publication interne - IRISA. 2008, Num 1887, issn 1166-8687, 1Vol, 191 p.Report

Control of nondeterministic discrete event systems for simulation equivalenceCHANGYAN ZHOU; KUMAR, Ratnesh.IEEE transactions on automation science and engineering. 2007, Vol 4, Num 3, pp 340-349, issn 1545-5955, 10 p.Article

Markov jump random c.d.f.'s and their posterior distributionsBALAN, R. M.Stochastic processes and their applications. 2007, Vol 117, Num 3, pp 359-374, issn 0304-4149, 16 p.Article

Distributed Consensus, revisitedFUZZATI, Rachele; MERRO, Massimo; NESTMANN, Uwe et al.Acta informatica. 2007, Vol 44, Num 6, pp 377-425, issn 0001-5903, 49 p.Article

State estimation for hybrid systems : applications to aircraft tracking : Hybrid systemsHWANG, I; BALAKRISHNAN, H; TOMLIN, C et al.IEE proceedings. Control theory and applications. 2006, Vol 153, Num 5, pp 556-566, issn 1350-2379, 11 p.Article

Interactive visualization of large state spacesGROOTE, Jan Friso; VAN HAM, Frank.International journal on software tools for technology transfer (Print). 2006, Vol 8, Num 1, pp 77-91, issn 1433-2779, 15 p.Conference Paper

A finite model construction for coalgebraic modal logicSCHRÖDER, Lutz.Lecture notes in computer science. 2006, pp 157-171, issn 0302-9743, isbn 3-540-33045-3, 1Vol, 15 p.Conference Paper

Beyond zeno : Get on with it!HAIYANG ZHENG; LEE, Edward A; AMES, Aaron D et al.Lecture notes in computer science. 2006, pp 568-582, issn 0302-9743, isbn 3-540-33170-0, 1Vol, 15 p.Conference Paper

Presenting functors by operations and equationsBONSANGUE, Marcello M; KURZ, Alexander.Lecture notes in computer science. 2006, pp 172-186, issn 0302-9743, isbn 3-540-33045-3, 1Vol, 15 p.Conference Paper

Model checking Z specifications using SALSMITH, Graeme; WILDMAN, Luke.Lecture notes in computer science. 2005, pp 85-103, issn 0302-9743, isbn 3-540-25559-1, 19 p.Conference Paper