{"id":"https://openalex.org/W1499225854","doi":"https://doi.org/10.48550/arxiv.cs/0407050","title":"Modeling and Validating Hybrid Systems Using VDM and Mathematica","display_name":"Modeling and Validating Hybrid Systems Using VDM and Mathematica","publication_year":2004,"publication_date":"2004-07-20","ids":{"openalex":"https://openalex.org/W1499225854","doi":"https://doi.org/10.48550/arxiv.cs/0407050","mag":"1499225854"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:cs/0407050","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0407050","pdf_url":"https://arxiv.org/pdf/cs/0407050","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"article","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/cs/0407050","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009450062","display_name":"Bernhard K. Aichernig","orcid":"https://orcid.org/0000-0002-3484-5584"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Aichernig, Bernhard K.","raw_affiliation_strings":["Institut f\u00fcr Softwaretechnologie (7160)"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Softwaretechnologie (7160)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028960621","display_name":"Reinhold Kainhofer","orcid":"https://orcid.org/0000-0002-7895-1311"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kainhofer, Reinhold","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009450062"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9865999817848206,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9865999817848206,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9864000082015991,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9858999848365784,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6719342470169067},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4988284111022949},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.4720802307128906},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4609101414680481},{"id":"https://openalex.org/keywords/rotation","display_name":"Rotation (mathematics)","score":0.44531092047691345},{"id":"https://openalex.org/keywords/animation","display_name":"Animation","score":0.434938907623291},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.42824018001556396},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.42253047227859497},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4216799736022949},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.41672107577323914},{"id":"https://openalex.org/keywords/computer-animation","display_name":"Computer animation","score":0.4115332365036011},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39639580249786377},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.338372141122818},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.17134550213813782},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16224220395088196},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13185349106788635},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10727494955062866}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6719342470169067},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4988284111022949},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.4720802307128906},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4609101414680481},{"id":"https://openalex.org/C74050887","wikidata":"https://www.wikidata.org/wiki/Q848368","display_name":"Rotation (mathematics)","level":2,"score":0.44531092047691345},{"id":"https://openalex.org/C502989409","wikidata":"https://www.wikidata.org/wiki/Q11425","display_name":"Animation","level":2,"score":0.434938907623291},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.42824018001556396},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.42253047227859497},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4216799736022949},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41672107577323914},{"id":"https://openalex.org/C69369342","wikidata":"https://www.wikidata.org/wiki/Q1401416","display_name":"Computer animation","level":3,"score":0.4115332365036011},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39639580249786377},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.338372141122818},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.17134550213813782},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16224220395088196},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13185349106788635},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10727494955062866},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:arXiv.org:cs/0407050","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0407050","pdf_url":"https://arxiv.org/pdf/cs/0407050","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.38.6180","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.6180","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.ist.tu-graz.ac.at/pub/publications/IST-TEC-00-02.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.885.3938","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.885.3938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ist.tugraz.at/aichernig/publications/papers/lfm2000.pdf","raw_type":"text"},{"id":"doi:10.48550/arxiv.cs/0407050","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.cs/0407050","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:1499225854","is_oa":false,"landing_page_url":"https://kainhofer.com/Papers/VDMSL/AichernigKainhofer_VDMSLinMathematica_2000.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:arXiv.org:cs/0407050","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0407050","pdf_url":"https://arxiv.org/pdf/cs/0407050","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W154294185","https://openalex.org/W182488526","https://openalex.org/W1555645972","https://openalex.org/W1593261125","https://openalex.org/W1970495662"],"related_works":["https://openalex.org/W3144209583","https://openalex.org/W2188247755","https://openalex.org/W2115104193","https://openalex.org/W2312345590","https://openalex.org/W1581443708","https://openalex.org/W3102915785","https://openalex.org/W2781734698","https://openalex.org/W2050053544","https://openalex.org/W2130453068","https://openalex.org/W2300232745","https://openalex.org/W3022961909","https://openalex.org/W101496073","https://openalex.org/W2247216232","https://openalex.org/W2051934273","https://openalex.org/W105404677","https://openalex.org/W1602552222","https://openalex.org/W2076710746","https://openalex.org/W1635208032","https://openalex.org/W814666549","https://openalex.org/W268597958"],"abstract_inverted_index":{"Hybrid":[0],"systems":[1,95],"are":[2],"characterized":[3],"by":[4,127,143],"the":[5,14,18,53,58,72,76,90,108,115,119],"hybrid":[6],"evolution":[7],"of":[8,13,33,52,92],"their":[9],"state:":[10],"A":[11,79],"part":[12,20],"state":[15],"changes":[16,21],"discretely,":[17],"other":[19],"continuously":[22],"over":[23],"time.":[24],"Typically,":[25],"modern":[26],"control":[27,73],"applications":[28],"belong":[29],"to":[30,66,106],"this":[31,45],"class":[32],"systems,":[34],"where":[35],"a":[36,41,50,144],"digital":[37],"controller":[38],"interacts":[39],"with":[40],"physical":[42],"environment.":[43],"In":[44],"article":[46],"we":[47],"illustrate":[48],"how":[49],"combination":[51],"formal":[54,97],"method":[55],"VDM":[56],"and":[57,68,75,123,131,136,148],"computer":[59],"algebra":[60],"system":[61],"Mathematica":[62,81,112],"can":[63],"be":[64],"used":[65],"model":[67],"simulate":[69],"both":[70],"aspects:":[71],"logic":[74],"physics":[77],"involved.":[78],"new":[80,109],"package":[82],"emulating":[83],"VDM-SL":[84],"has":[85],"been":[86],"developed":[87],"that":[88],"allows":[89],"integration":[91],"differential":[93],"equation":[94],"into":[96],"specifications.":[98],"The":[99],"SAFER":[100],"example":[101],"from":[102],"Kelly":[103],"(1997)":[104],"serves":[105],"demonstrate":[107],"simulation":[110],"capabilities":[111],"adds:":[113],"After":[114],"thruster":[116],"selection":[117],"process,":[118],"astronaut's":[120],"actual":[121],"position":[122],"velocity":[124],"is":[125,141],"calculated":[126],"numerically":[128],"solving":[129],"Euler's":[130],"Newton's":[132],"equations":[133],"for":[134],"rotation":[135],"translation.":[137],"Furthermore,":[138],"interactive":[139],"validation":[140],"supported":[142],"graphical":[145],"user":[146],"interface":[147],"data":[149],"animation.":[150]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}