المؤلفون: Coll, Carmen, Herrero Debón, Alicia, Sánchez, Elena, Thome, Néstor

المساهمون: Universitat Politècnica de València. Departamento de Matemática Aplicada - Departament de Matemàtica Aplicada, Agencia Estatal de Investigación, Universidad de Buenos Aires

مصطلحات موضوعية: Generalized inverses, Minus partial order, Matrix equations, Compartmental systems, Reachability property, MATEMATICA APLICADA

Relation: Applied Mathematics and Computation; info:eu-repo/grantAgreement/UBA//20020170100350BA/ES/PROBLEMAS INVERSOS: TEORÍA Y APLICACIONES I/; info:eu-repo/grantAgreement/UBA//13.019%2F2017/; info:eu-repo/grantAgreement/AEI//MTM2017-90682-REDT/ES/RED TEMATICA DE ALGEBRA LINEAL, ANALISIS MATRICIAL Y APLICACIONES/; https://doi.org/10.1016/j.amc.2020.125529; urn:issn:0096-3003; http://hdl.handle.net/10251/160818

الاتاحة: http://hdl.handle.net/10251/160818
https://doi.org/10.1016/j.amc.2020.125529

المؤلفون: Karen Godary Dejean, Didier Crestani, Olivier Naud, Rim Saddem

المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Information – Technologies – Analyse Environnementale – Procédés Agricoles (UMR ITAP), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)

المصدر: 20th IFAC World Congress
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.11156-11162, ⟨10.1016/j.ifacol.2017.08.1236⟩
IFAC-Papers
IFAC-PapersOnLine, Elsevier, 2017, 50 (1), pp.11156-11162

مصطلحات موضوعية: Model checking, Theoretical computer science, decomposition methods, Computer science, automata, Distributed computing, 02 engineering and technology, spatial process, [SPI.AUTO]Engineering Sciences [physics]/Automatic, models, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Reachability, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Decomposition (computer science), Formal verification, robotics, precision agriculture, REACHABILITY PROPERTY, business.industry, 020207 software engineering, Mobile robot, Robotics, Grid, spatial grid, Test case, Control and Systems Engineering, [SDE]Environmental Sciences, Robot, Artificial intelligence, UNIQUE ACTION, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ff8fbfcb043a7a8e0d748bd93b8de6e
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01592588

المؤلفون: Zhang, Wenjie

مصطلحات موضوعية: state machine, distributed system, model checking, distributed snapshot, reachability property

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=jairo_______::0590b9c5127971fbf631969d0b6e6ef5
http://hdl.handle.net/10119/12646

المؤلفون: Julius, A. Agung, Pappas, George J

المصدر: 35 ; Lab Papers (GRASP) ; published

مصطلحات موضوعية: probability, reachability analysis, stochastic systems, probabilistic safety property, probabilistic testing, reachability property, robust neighborhood concept, stochastic bisimulation function, stochastic hybrid system, testing based method

وصف الملف: application/pdf

Relation: https://repository.upenn.edu/handle/20.500.14332/34786

الاتاحة: https://repository.upenn.edu/handle/20.500.14332/34786
https://hdl.handle.net/20.500.14332/34786

المؤلفون: Rafael Bru, Carmen Coll, Elena Sánchez

المصدر: Linear Algebra and its Applications. (1-3):1-10

مصطلحات موضوعية: Numerical Analysis, Algebra and Number Theory, Mathematical analysis, Drazin inverse, Positive control system, Linear time-invariant difference-algebraic equation, LTI system theory, Algebraic equation, Discrete Mathematics and Combinatorics, Applied mathematics, Geometry and Topology, Reachability property, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1668075612f2f49dcc81b6f929020504

المؤلفون: Zhang, Wenjie

مصطلحات موضوعية: distributed snapshot, distributed system, state machine, model checking, reachability property

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10119/12646

الاتاحة: http://hdl.handle.net/10119/12646

المؤلفون: Universitat Politècnica de València. Departamento de Matemática Aplicada - Departament de Matemàtica Aplicada, Agencia Estatal de Investigación, Universidad de Buenos Aires, Coll, Carmen, Herrero Debón, Alicia, Sánchez, Elena, Thome, Néstor

مصطلحات الفهرس: Generalized inverses, Minus partial order, Matrix equations, Compartmental systems, Reachability property, MATEMATICA APLICADA, info:eu-repo/semantics/article

URL: http://hdl.handle.net/10251/160818