Abstract
We present a paradigm called dynamic constrained objects for a declarative approach to modeling complex systems. In the basic paradigm of constrained objects, the structure of a complex system is specified through objects (as in object-oriented languages), while the behavior of a complex system is specified declaratively through constraints (as in constraint languages). The emergent behavior of such a complex system is deduced through a process of constraint satisfaction. Our focus in this paper is on systems whose states change with time. Such time-varying behaviors are fundamental in many domains, especially in mission and safety-critical applications. We present an extension of constrained objects with special metric temporal operators over time-series data, and we discuss their properties. We refer to the resulting paradigm as dynamic constrained objects and we illustrate their use for vehicular network modeling. Here, the network of roads and the roadside infrastructure are specified through objects, and the movement of vehicles and associated safety and liveness conditions are specified through time-series variables and metric temporal operators. The paper presents a language called DCOB, for dynamic constrained objects , and examples of its use for vehicular network modeling.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Fangchun Y, Shangguang W, Jinglin L, Zhihan L, Qibo S (2014) An overview of internet of vehicles. China Commun 11(10):1–15
Alvarez L (1996) Automated highway systems: safe platooning and traffic flow control. Ph.D. thesis, Department of Mechanical Engineering, University of California at Berkeley
Linker S (2015) Proofs for traffic safety: combining diagrams and logic. Ph.D. thesis, Oldenburg, Universitat Oldenburg, Diss.
Loos SM, Platzer A, Nistor L (2011) Adaptive cruise control: hybrid, distributed, and now formally verified. In: FM 2011: formal methods, Springer, Berlin, pp 42–56
Platzer A (2010) Quantified differential dynamic logic for distributed hybrid systems. In: Computer science logic. Springer, Berlin, pp 469–483
Varaiya P (1994) Models, simulation, and performance of fully automated highways. California Partners for Advanced Transit and Highways (PATH)
Jayaraman B, Tambay P (2000) Constrained objects for modeling complex systems. Springer, Berlin
Lygeros J, Godbole DN, Sastry S (1998) Verified hybrid controllers for automated vehicles. IEEE Trans Autom Control 43(4):522–539
Damm W, Hungar H, Olderog ER (2006) Verification of cooperating traffic agents. Int J Control 79(05):395–421
Hilscher M, Linker S, Olderog ER, Ravn AP (2011) An abstract model for proving safety of multi-lane traffic manoeuvres. In: Formal methods and software engineering. Springer, Berlin, pp 404–419
Hafner MR, Cunningham D, Caminiti L, Del Vecchio D (2013) Cooperative collision avoidance at intersections: algorithms and experiments. IEEE Trans Intell Trans Syst 14(3):1162–1175
Bartak R, Salido MA, Rossi F (2010) New trends in constraint satisfaction, planning, and scheduling: a survey. Knowl Eng Rev 25(03):249–279
Herńandez-Arauzo A, Puente J, Varela R, Sedano J (2015) Electric vehicle charging under power and balance constraints as dynamic scheduling. Comput Ind Eng 85:306–315
Kilby P, Prosser P, Shaw P (1999) Guided local search for the vehicle routing problem with time windows. In: Meta-heuristics, Springer, pp 473–486
Lopez G, Freeman-Benson B, Borning A (1994) Kaleidoscope: a constraint imperative programming language. In: Constraint programming. Springer, Berlin, pp 313–329
Van Hentenryck P, Simonis H, Dincbas M (1992) Constraint satisfaction using constraint logic programming. Artif Intell 58(1):113–159
Pushpendran M (2006) A constrained object approach to systems biology. ProQuest
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Kannimoola, J.M., Jayaraman, B., Achuthan, K. (2018). Dynamic Constrained Objects for Vehicular Network Modeling. In: Nanda, M., Jeppu, Y. (eds) Formal Methods for Safety and Security. Springer, Singapore. https://doi.org/10.1007/978-981-10-4121-1_4
Download citation
DOI: https://doi.org/10.1007/978-981-10-4121-1_4
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-4120-4
Online ISBN: 978-981-10-4121-1
eBook Packages: EngineeringEngineering (R0)