ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A proof-based method of hybrid systems development using differential invariants
Frontiers of Computer Science
◽
10.1007/s11704-018-7213-y
◽
2018
◽
Vol 12
(5)
◽
pp. 1026-1028
Author(s):
Jie Liu
◽
Jing Liu
◽
Miaomiao Zhang
◽
Haiying Sun
◽
Xiaohong Chen
◽
...
Keyword(s):
Hybrid Systems
◽
Systems Development
◽
Differential Invariants
Download Full-text
Related Documents
Cited By
References
Computing differential invariants of hybrid systems as fixedpoints
Formal Methods in System Design
◽
10.1007/s10703-009-0079-8
◽
2009
◽
Vol 35
(1)
◽
pp. 98-120
◽
Cited By ~ 38
Author(s):
André Platzer
◽
Edmund M. Clarke
Keyword(s):
Hybrid Systems
◽
Differential Invariants
Download Full-text
Computing Differential Invariants of Hybrid Systems as Fixedpoints
10.21236/ada476791
◽
2008
◽
Cited By ~ 8
Author(s):
Andre Platzer
◽
Edmund M. Clarke
Keyword(s):
Hybrid Systems
◽
Differential Invariants
Download Full-text
Computing Differential Invariants of Hybrid Systems as Fixedpoints
Computer Aided Verification - Lecture Notes in Computer Science
◽
10.1007/978-3-540-70545-1_17
◽
2008
◽
pp. 176-189
◽
Cited By ~ 34
Author(s):
André Platzer
◽
Edmund M. Clarke
Keyword(s):
Hybrid Systems
◽
Differential Invariants
Download Full-text
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
Lecture Notes in Computer Science - Abstract State Machines, Alloy, B, TLA, VDM, and Z
◽
10.1007/978-3-319-91271-4_11
◽
2018
◽
pp. 155-170
◽
Cited By ~ 9
Author(s):
Guillaume Dupont
◽
Yamine Aït-Ameur
◽
Marc Pantel
◽
Neeraj Kumar Singh
Keyword(s):
Hybrid Systems
◽
Dynamic Logic
◽
Systems Development
Download Full-text
New tools for engine control systems development
Annual Reviews in Control
◽
10.1016/s1367-5788(99)00012-7
◽
1999
◽
Vol 23
(1)
◽
pp. 109-116
Author(s):
R Stobart
Keyword(s):
Control Systems
◽
Systems Development
◽
Engine Control
Download Full-text
Handbook of Hybrid Systems Control
10.1017/cbo9780511807930
◽
2009
◽
Cited By ~ 141
Keyword(s):
Hybrid Systems
◽
Systems Control
Download Full-text
Healthy Planning: The Newsletter of the Health Planning and Systems Development Section for Spring/Summer 2009
PsycEXTRA Dataset
◽
10.1037/e519442010-001
◽
2009
◽
Keyword(s):
Health Planning
◽
Systems Development
◽
Development Section
Download Full-text
Drug Control: Expanded Military Surveillance Not Justified by Measurable Goals or Results: Statement of Louis J. Rodrigues, Director, Systems Development and Production Issues, National Security and International Affairs Division. Testimony Before the Legislation and National Security Subcommittee, Committee on Government Operations, House of Representatives
PsycEXTRA Dataset
◽
10.1037/e542372006-001
◽
1993
◽
Author(s):
Louis J. Rodrigues
Keyword(s):
National Security
◽
House Of Representatives
◽
Systems Development
◽
Drug Control
◽
International Affairs
Download Full-text
Human Factors and Systems Engineering -- Integrating for successful systems development
PsycEXTRA Dataset
◽
10.1037/e578312012-014
◽
2008
◽
Author(s):
Jennifer McGovern Narkevicius
Keyword(s):
Human Factors
◽
Systems Engineering
◽
Systems Development
Download Full-text
Towards more flexible management of software systems development using meta-models
Software Engineering Journal
◽
10.1049/sej.1995.0011
◽
1995
◽
Vol 10
(3)
◽
pp. 79
◽
Cited By ~ 4
Author(s):
C.W. Dawson
◽
R.J. Dawson
Keyword(s):
Systems Development
◽
Software Systems
◽
Flexible Management
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close