Some content of this application is unavailable at the moment.
If this situation persist, please contact us atFeedback&Contact
1. (WO2017037659) SYSTEM AND METHOD FOR EMULATING HYBRID SYSTEMS
Latest bibliographic data on file with the International Bureau    Submit observation

Pub. No.: WO/2017/037659 International Application No.: PCT/IB2016/055257
Publication Date: 09.03.2017 International Filing Date: 02.09.2016
IPC:
G06N 7/00 (2006.01) ,G06N 7/06 (2006.01) ,G06F 9/455 (2006.01)
[IPC code unknown for G06N 7][IPC code unknown for G06N 7/06][IPC code unknown for G06F 9/455]
Applicants:
AUCKLAND UNISERVICES LIMITED [NZ/NZ]; Level 10 70 Symonds Street Grafton Auckland, 1010, NZ
Inventors:
MALIK, Avinash Satyadeo; NZ
ROOP, Parthasarathi; NZ
Agent:
AJ PARK; Level 22, State Insurance Tower 1 Willis Street Wellington, NZ
Priority Data:
71183903.09.2015NZ
Title (EN) SYSTEM AND METHOD FOR EMULATING HYBRID SYSTEMS
(FR) SYSTÈME ET PROCÉDÉ POUR ÉMULER DES SYSTÈMES HYBRIDES
Abstract:
(EN) A method of generating code for deploying on a target emulation platform for the emulation of at least an aspect of a hybrid system. The method includes receiving, retrieving or generating input hybrid automata (HA) data indicative of one or more hybrid automata models representing at least an aspect of the hybrid system. The input hybrid automata (HA) data are processed to statically determine whether each hybrid automata model satisfies one or more predefined well-formedness criteria to qualify as well-formed hybrid automata (WHA) models. The method transforms the well-formed hybrid automata (WHA) models into corresponding respective synchronous hybrid automata (SHA) models, and generates emulation code for deployment onto a target emulation platform based on the synchronous hybrid automata (SHA) models so an aspect or aspects of the hybrid system can be emulated on the target emulation platform in a semantic preserving manner.
(FR) L’invention concerne un procédé pour générer un code à déployer sur une plate-forme d’émulation cible pour l’émulation d’au moins un aspect d’un système hybride. Le procédé consiste à recevoir, à extraire ou à générer des données d’automate hybride (HA) d’entrée indiquant un ou plusieurs modèles d’automate hybride représentant au moins un aspect du système hybride. Les données d’automate hybride (HA) d’entrée sont traitées pour déterminer de manière statistique si chaque modèle d’automate hybride satisfait ou non un ou plusieurs critères de caractère bien formé prédéfinis pour le qualifier de modèle d’automate hybride bien formé (WHA). Le procédé transforme les modèles d’automate hybride bien formé (WHA) en modèles d’automate hybride synchrone (SHA) respectifs, correspondants, et génère un code d’émulation pour un déploiement sur une plate-forme d’émulation cible en fonction des modèles d’automate hybride synchrone (SHA), ainsi un ou plusieurs aspects du système hybride peuvent être émulés sur la plate-forme d’émulation cible de manière à conserver la sémantique.
front page image
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
African Regional Intellectual Property Organization (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Office (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (EPO) (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Publication Language: English (EN)
Filing Language: English (EN)