Simulation for lattice-valued doubly labeled transition systemsHAIYU PAN; YONGZHI CAO; MIN ZHANG et al.International journal of approximate reasoning. 2014, Vol 55, Num 3, pp 797-811, issn 0888-613X, 15 p.Article

Hamiltonian Identification Through Enhanced Observability Utilizing Quantum ControlLEGHTAS, Zaki; TURINICI, Gabriel; RABITZ, Herschel et al.IEEE transactions on automatic control. 2012, Vol 57, Num 10, pp 2679-2683, issn 0018-9286, 5 p.Article

Optimal control in microgrid using multi-agent reinforcement learningLI, Fu-Dong; MIN WU; YONG HE et al.ISA transactions. 2012, Vol 51, Num 6, pp 743-751, issn 0019-0578, 9 p.Article

Decidability and complexity of Petri nets with unordered dataROSA-VELARDO, Fernando; DE FRUTOS-ESCRIG, David.Theoretical computer science. 2011, Vol 412, Num 34, pp 4439-4451, issn 0304-3975, 13 p.Article

Metrics for weighted transition systems: Axiomatization and complexityLARSEN, Kim G; FAHRENBERG, Uli; THRANE, Claus et al.Theoretical computer science. 2011, Vol 412, Num 28, pp 3358-3369, issn 0304-3975, 12 p.Article

Verification of mobile ad hoc networks: An algebraic approachGHASSEMI, Fatemeh; FOKKINK, Wan; MOVAGHAR, Ali et al.Theoretical computer science. 2011, Vol 412, Num 28, pp 3262-3282, issn 0304-3975, 21 p.Article

A Markov Perspective on Development Interdependencies in Networks of SystemsMANE, Muharrem; DELAURENTIS, Daniel; FRAZHO, Arthur et al.Journal of mechanical design (1990). 2011, Vol 133, Num 10, issn 1050-0472, 101009.1-101009.9Article

A Kripke Logical Relation Between ML and AssemblyHUR, Chung-Kil; DREYER, Derek.ACM SIGPLAN notices. 2011, Vol 46, Num 1, pp 133-146, issn 1523-2867, 14 p.Conference Paper

On sets of numbers accepted by P/T systems composed by joinFRISCO, Pierluigi; IBARRA, Oscar H.Theoretical computer science. 2010, Vol 411, Num 44-46, pp 3905-3916, issn 0304-3975, 12 p.Article

Copower functorsGUMM, H. Peter.Theoretical computer science. 2009, Vol 410, Num 12-13, pp 1129-1142, issn 0304-3975, 14 p.Article

GLOBAL OPTIMIZATION OF LINEAR HYBRID SYSTEMS WITH VARYING TRANSITION TIMESLEE, C. K; BARTON, P. I.SIAM journal on control and optimization. 2009, Vol 47, Num 2, pp 791-816, issn 0363-0129, 26 p.Article

Reactive systems, (semi-)saturated semantics and coalgebras on presheavesBONCHI, Filippo; MONTANARI, Ugo.Theoretical computer science. 2009, Vol 410, Num 41, pp 4044-4066, issn 0304-3975, 23 p.Article

Abstract interpretation of resolution-based semanticsCOUSOT, Patrick; COUSOT, Radhia; GIACOBAZZI, Roberto et al.Theoretical computer science. 2009, Vol 410, Num 46, pp 4724-4746, issn 0304-3975, 23 p.Article

Contrôle décentralisé de systèmes symboliques infinis sous observation partielleKALYON, Gabriel; LE GALL, Tristan; MARCHAND, Hervé et al.Journal européen des systèmes automatisés. 2009, Vol 43, Num 7-9, pp 805-819, issn 1269-6935, 15 p.Conference Paper

A human task-oriented simulation study in autonomous production cellsZHANG, X; SCHMIDT, L; SCHLICK, C. M et al.International journal of production research. 2008, Vol 46, Num 18, pp 5013-5041, issn 0020-7543, 29 p.Article

Symbolic reachability analysis of genetic regulatory networks using discrete abstractionsBATT, Grégory; DE JONG, Hidde; PAGE, Michel et al.Automatica (Oxford). 2008, Vol 44, Num 4, pp 982-989, issn 0005-1098, 8 p.Article

Chaotic Synchronization in Ultra-Wide-Band Communication and Positioning SystemsCHEDJOU, J. C; KYAMAKYA, K; MATHIS, W et al.Journal of vibration and acoustics. 2008, Vol 130, Num 1, issn 1048-9002, 011012.1-011012.12Article

FAST : acceleration from theory to practiceBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jerome et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 401-424, issn 1433-2779, 24 p.Article

Automatic generation of path conditions for concurrent timed systemsBENSALEM, Saddek; PELED, Doron; HONGYANG QU et al.Theoretical computer science. 2008, Vol 404, Num 3, pp 275-292, issn 0304-3975, 18 p.Conference Paper

Approximation metrics for discrete and continuous systemsGIRARD, Antoine; PAPPAS, George J.IEEE transactions on automatic control. 2007, Vol 52, Num 5, pp 782-798, issn 0018-9286, 17 p.Article

A complete abstract interpretation framework for coverability properties of WSTSGANTY, Pierre; RASKIN, Jean-Francois; VAN BEGIN, Laurent et al.Lecture notes in computer science. 2006, pp 49-64, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 16 p.Conference Paper

Simulation for Interactive Markov ChainsXIYING ZHAO; LIAN LI; JINZHAO WU et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45901-4, Vol1, 893-902Conference Paper

Timing-Sensitive Information Flow Analysis for Synchronous SystemsKÖPF, Boris; BASIN, David.Lecture notes in computer science. 2006, pp 243-262, issn 0302-9743, isbn 3-540-44601-X, 1Vol, 20 p.Conference Paper

Control-invariance of hybrid systems with forcible eventsUSHIO, Toshimitsu; TAKAI, Shigemasa.Automatica (Oxford). 2005, Vol 41, Num 4, pp 669-675, issn 0005-1098, 7 p.Article

Predictive control of switched nonlinear systems with scheduled mode transitionsMHASKAR, Prashant; EL-FARRA, Nael H; CHRISTOFIDES, Panagiotis D et al.IEEE transactions on automatic control. 2005, Vol 50, Num 11, pp 1670-1680, issn 0018-9286, 11 p.Article