-
1
-
-
85008532893
-
Intelligent transportation systems
-
Oct.-Dec.
-
A. R. Beresford and J. Bacon, "Intelligent transportation systems, " Pervasive Comput., vol. 5, no. 4, pp. 63-67, Oct.-Dec. 2006.
-
(2006)
Pervasive Comput.
, vol.5
, Issue.4
, pp. 63-67
-
-
Beresford, A.R.1
Bacon, J.2
-
2
-
-
84872510520
-
Research and development of intelligent transportation systems
-
X. P. Yan, H. Zhang and C. Z. Wu, "Research and Development of Intelligent Transportation Systems, " in Proc. of 11th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES), 2012, pp. 321-327.
-
(2012)
Proc. of 11th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES)
, pp. 321-327
-
-
Yan, X.P.1
Zhang, H.2
Wu, C.Z.3
-
3
-
-
77956338565
-
Parallel control and management for intelligent transportation systems: Concepts, architectures, and applications
-
F. Y. Wang, "Parallel Control and Management for Intelligent Transportation Systems: Concepts, Architectures, and Applications, " IEEE Transactions on Intelligent Transportation Systems, vol. 11, no. 3, pp. 630-638, 2010.
-
(2010)
IEEE Transactions on Intelligent Transportation Systems
, vol.11
, Issue.3
, pp. 630-638
-
-
Wang, F.Y.1
-
4
-
-
34648847319
-
Intelligent transportation systems in transitional and developing countries
-
Aug.
-
A. A. Shah and L. J. Dal, "Intelligent transportation systems in transitional and developing countries, " IEEE Aerospace and Electronic Systems Magazine, vol. 22, no. 8, pp. 27-33, Aug. 2007.
-
(2007)
IEEE Aerospace and Electronic Systems Magazine
, vol.22
, Issue.8
, pp. 27-33
-
-
Shah, A.A.1
Dal, L.J.2
-
5
-
-
31744433511
-
Vehicle-to-vehicle wireless communication protocols for enhancing highway traffic safety
-
Jan.
-
S. Biswas, R. Tatchikou, and F. Dion, "Vehicle-to-Vehicle Wireless Communication Protocols for Enhancing Highway Traffic Safety, " IEEE Commun. Magazine, vol. 44, no. 1, pp. 74-82, Jan. 2006.
-
(2006)
IEEE Commun. Magazine
, vol.44
, Issue.1
, pp. 74-82
-
-
Biswas, S.1
Tatchikou, R.2
Dion, F.3
-
6
-
-
70449482450
-
Vehicular wireless short-range communication for improving intersection safety
-
L. Le, A. Festag, R. Baldessari, and W. H. Zhang, "Vehicular Wireless Short-Range Communication for Improving Intersection Safety, " IEEE Communications Magazine, vol. 47, no. 11, pp. 104 - 110, 2009.
-
(2009)
IEEE Communications Magazine
, vol.47
, Issue.11
, pp. 104-110
-
-
Le, L.1
Festag, A.2
Baldessari, R.3
Zhang, W.H.4
-
7
-
-
84863277980
-
Sharing vehicle and infrastructure intelligence for assisted intersection safety
-
S. D. Gupta, Y. P. Fallah, and S. E. Shladover, "Sharing Vehicle and Infrastructure Intelligence for Assisted Intersection Safety, " in Proc. of IEEE 22nd International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), 2011, pp. 767-771.
-
(2011)
Proc. of IEEE 22nd International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC)
, pp. 767-771
-
-
Gupta, S.D.1
Fallah, Y.P.2
Shladover, S.E.3
-
8
-
-
80155161309
-
Traffic light control system architecture for an optimal intersection safety
-
H. Ngii, M. Pugge, W. Juergen, and O. Strobel, "Traffic light control system architecture for an optimal intersection safety, " in Proc. of 13th International Conference on Transparent Optical Networks (ICTON), 2011, pp. 1-4.
-
(2011)
Proc. of 13th International Conference on Transparent Optical Networks (ICTON)
, pp. 1-4
-
-
Ngii, H.1
Pugge, M.2
Juergen, W.3
Strobel, O.4
-
9
-
-
82455167977
-
Petri net modeling of the cooperation behavior of a driver and a copilot in an advanced driving assistance system
-
N. Q. Wu, F. Chu and M. C. Zhou, "Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance System, " IEEE Transactions on Intelligent Transportation Systems, vol. 12, no. 4, pp. 977-989, 2011.
-
(2011)
IEEE Transactions on Intelligent Transportation Systems
, vol.12
, Issue.4
, pp. 977-989
-
-
Wu, N.Q.1
Chu, F.2
Zhou, M.C.3
-
10
-
-
78649733459
-
Critical scenarios and their identification in parallel railroad level crossing traffic control systems
-
Y. S. Huang, Y. S. Weng and M. C. Zhou, "Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems, " IEEE Transactions on Intelligent Transportation Systems, vol. 11, no. 4, pp. 968-977, 2010.
-
(2010)
IEEE Transactions on Intelligent Transportation Systems
, vol.11
, Issue.4
, pp. 968-977
-
-
Huang, Y.S.1
Weng, Y.S.2
Zhou, M.C.3
-
11
-
-
78650082311
-
Traffic monitoring and modeling for intersection safety
-
P. Pyykonen, M. Molinier, and G. A. Klunder, "Traffic monitoring and modeling for Intersection Safety, " in proceeding IEEE International Conference on Intelligent Computer Communication and Processing (ICCP), 2010, pp. 401-408.
-
(2010)
Proceeding IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)
, pp. 401-408
-
-
Pyykonen, P.1
Molinier, M.2
Klunder, G.A.3
-
12
-
-
79952828180
-
Provable systemwide safety in intelligent intersections
-
H. Kowshik, D. Caveney, and P. R. Kumar, "Provable Systemwide Safety in Intelligent Intersections, " IEEE Transactions on Vehicular Technology, vol. 60, no. 3, pp. 804-818, 2011.
-
(2011)
IEEE Transactions on Vehicular Technology
, vol.60
, Issue.3
, pp. 804-818
-
-
Kowshik, H.1
Caveney, D.2
Kumar, P.R.3
-
13
-
-
10644296117
-
Review of road traffic control strategies
-
December
-
M. Papageorgiou, C. Diakaki, V. Dinopoulou, A. Kotsialos and Y. Wang, "Review of road traffic control strategies, " Proceedings of the IEEE, vol. 91, no. 12, pp. 2043-2067, December 2003.
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.12
, pp. 2043-2067
-
-
Papageorgiou, M.1
Diakaki, C.2
Dinopoulou, V.3
Kotsialos, A.4
Wang, Y.5
-
14
-
-
33845534549
-
Cosign: A parallel algorithm for coordinated traffic signal control
-
December
-
S. F. Cheng, M. A. Epelman, and R. L. Smith, "CoSIGN: A Parallel algorithm for coordinated traffic signal control, " IEEE Transactions on Intelligent Transportation Systems, vol. 7, no. 4, pp. 551-564, December 2006.
-
(2006)
IEEE Transactions on Intelligent Transportation Systems
, vol.7
, Issue.4
, pp. 551-564
-
-
Cheng, S.F.1
Epelman, M.A.2
Smith, R.L.3
-
15
-
-
0026114207
-
Optimizing networks of traffic signals in real-time - The scoot method
-
February
-
D. I. Robertson and R. D. Bretherton, "Optimizing networks of traffic signals in real-time - The SCOOT method, " IEEE Transactions on Vehicular Technology, vol. 40, pp. 11-15, February 1991.
-
(1991)
IEEE Transactions on Vehicular Technology
, vol.40
, pp. 11-15
-
-
Robertson, D.I.1
Bretherton, R.D.2
-
16
-
-
0003591310
-
Scats: A traffic responsive method for controlling urban traffic
-
NSW, Australia, Traffic Control Section, P.O.Box 693, Darlinghurst, NSW 2010, Australia
-
P. Lowrie, "SCATS: A traffic responsive method for controlling urban traffic, " Tech. rep., Roads and Traffic Authority, NSW, Australia, Traffic Control Section, P.O.Box 693, Darlinghurst, NSW 2010, Australia, 1990.
-
(1990)
Tech. Rep., Roads and Traffic Authority
-
-
Lowrie, P.1
-
18
-
-
85008048565
-
A petri net based correctness analysis of internet stock trading systems
-
Y. Y. Du, C. J. Jiang, and M. C. Zhou, "A Petri Net Based Correctness Analysis of Internet Stock Trading Systems, " IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, vol. 38, no. 1, pp. 93-99, 2008.
-
(2008)
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
, vol.38
, Issue.1
, pp. 93-99
-
-
Du, Y.Y.1
Jiang, C.J.2
Zhou, M.C.3
-
19
-
-
70450211663
-
Liveness enforcing supervision of video streaming systems using nonsequential petri nets
-
H. S. Hu, M. C. Zhou, and Z. W. Li, "Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets, " IEEE Transactions on Multimedia, vol. 11, no. 8, pp. 1457-1465, 2009.
-
(2009)
IEEE Transactions on Multimedia
, vol.11
, Issue.8
, pp. 1457-1465
-
-
Hu, H.S.1
Zhou, M.C.2
Li, Z.W.3
-
20
-
-
0034295919
-
Reachability analysis of real-time systems using time petri nets
-
J. C. Wang, Y. Deng, and G. Xu, "Reachability analysis of real-time systems using time Petri nets, " IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, vol. 30, no. 5, pp. 725-736, 2000.
-
(2000)
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
, vol.30
, Issue.5
, pp. 725-736
-
-
Wang, J.C.1
Deng, Y.2
Xu, G.3
-
21
-
-
77249146348
-
Automated verification of dynamic reliability block diagrams using colored petri nets
-
R. Robidoux, H. Xu, L. Xing, and M. C. Zhou, "Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets, " IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, vol. 40, no. 2, pp. 337-351, 2010.
-
(2010)
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
, vol.40
, Issue.2
, pp. 337-351
-
-
Robidoux, R.1
Xu, H.2
Xing, L.3
Zhou, M.C.4
-
22
-
-
0003277883
-
Coloured petri nets-basic concepts, analysis methods and practical use
-
K. Jensen, Coloured Petri nets-basic concepts, analysis methods and practical use, EATCS Monographs on Theoretical Computer Science, 1- 3, 1997.
-
(1997)
EATCS Monographs on Theoretical Computer Science
, pp. 1-3
-
-
Jensen, K.1
-
23
-
-
0002422416
-
Loosely coupled inter organizational workflows: Modeling and analyzing workflows crossing organizational boundaries
-
W. Van der Aalst, "Loosely Coupled Inter organizational Workflows: Modeling and Analyzing Workflows Crossing Organizational Boundaries, " Information and Management, vol. 37, no. 1, pp. 67-75, 2000.
-
(2000)
Information and Management
, vol.37
, Issue.1
, pp. 67-75
-
-
Van Der Aalst, W.1
-
27
-
-
62149085926
-
A petri net-based model for verification of obligations and accountability in cooperative systems
-
Y. Y. Du, C. J. Jiang, and M. C. Zhou, "A Petri Net-based Model for Verification of Obligations and Accountability in Cooperative Systems, " IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, vol. 39, no. 2, pp. 299-308, 2009.
-
(2009)
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
, vol.39
, Issue.2
, pp. 299-308
-
-
Du, Y.Y.1
Jiang, C.J.2
Zhou, M.C.3
-
28
-
-
4544291642
-
Modeling traffic signal control using petri nets
-
G. F. List, and M. Cetin, "Modeling traffic signal control using Petri nets, " IEEE Transactions on Intelligent Transportation Systems, vol.5, no. 3, pp. 177-187, 2004.
-
(2004)
IEEE Transactions on Intelligent Transportation Systems
, vol.5
, Issue.3
, pp. 177-187
-
-
List, G.F.1
Cetin, M.2
-
29
-
-
44649114574
-
Modeling and analysis of urban traffic lights control systems using timed cp-nets
-
Y. S. Huang and T. H. Chung, "Modeling and analysis of urban traffic lights control systems using timed CP-nets, " Journal of Information Science & Engineering, vol. 24, no. 3, pp. 875-890, 2008.
-
(2008)
Journal of Information Science & Engineering
, vol.24
, Issue.3
, pp. 875-890
-
-
Huang, Y.S.1
Chung, T.H.2
-
32
-
-
84891444515
-
-
Springer, Germany
-
D. Rene, and A. Hassane, Discrete, Continuous, and Hybrid Petri Nets, Springer, Germany, 2005.
-
(2005)
Discrete, Continuous, and Hybrid Petri Nets
-
-
Rene, D.1
Hassane, A.2
|